diff --git a/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java b/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java index edbebecc4..017df3424 100644 --- a/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java +++ b/src/main/java/de/neemann/digital/draw/graphics/GraphicSwing.java @@ -37,15 +37,14 @@ public class GraphicSwing implements Graphic { public void drawPolygon(Polygon p, Style style) { applyStyle(style); Path2D path = new GeneralPath(); - for (int i=0;i * Created by Helmut.Neemann on 11.05.2016. */ -public class Settings implements AttributeListener { +public final class Settings implements AttributeListener { /** * The list of supported attributes. @@ -27,10 +27,8 @@ public class Settings implements AttributeListener { SETTINGS_KEYS.add(Keys.SETTINGS_IEEE_SHAPES); } - private static SettingsHolder settingsHolder = new SettingsHolder(); - - private static class SettingsHolder { - Settings INSTANCE = new Settings(); + private static final class SettingsHolder { + static final Settings INSTANCE = new Settings(); } /** @@ -39,7 +37,7 @@ public class Settings implements AttributeListener { * @return the Settings */ public static Settings getInstance() { - return settingsHolder.INSTANCE; + return SettingsHolder.INSTANCE; } private ElementAttributes attributes;