--- 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)",