make/jdk/src/classes/build/tools/generatenimbus/Insets.java
changeset 47389 18c850407be9
parent 47216 71c04702a3d5
--- a/make/jdk/src/classes/build/tools/generatenimbus/Insets.java	Mon Oct 16 08:34:01 2017 -0700
+++ b/make/jdk/src/classes/build/tools/generatenimbus/Insets.java	Mon Oct 16 08:47:59 2017 -0700
@@ -25,13 +25,13 @@
 
 package build.tools.generatenimbus;
 
-import javax.xml.bind.annotation.XmlAttribute;
+import javax.xml.stream.XMLStreamReader;
 
 class Insets {
-    @XmlAttribute int top;
-    @XmlAttribute int left;
-    @XmlAttribute int bottom;
-    @XmlAttribute int right;
+    int top;
+    int left;
+    int bottom;
+    int right;
 
     public Insets() {
         this(0, 0, 0, 0);
@@ -44,6 +44,13 @@
         this.right = right;
     }
 
+    Insets(XMLStreamReader reader) {
+        top = Integer.parseInt(reader.getAttributeValue(null, "top"));
+        left = Integer.parseInt(reader.getAttributeValue(null, "left"));
+        bottom = Integer.parseInt(reader.getAttributeValue(null, "bottom"));
+        right = Integer.parseInt(reader.getAttributeValue(null, "right"));
+    }
+
     public String write(boolean uiResource) {
         String uiSuffix = (uiResource ? "UIResource" : "");
         return String.format("new Insets%s(%d, %d, %d, %d)",