Changeset 15231 in josm for trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java

Timestamp:

2019-07-07T23:30:48+02:00 (6 years ago)

Author:

Don-vip

Message:

fix more Spotbugs warnings

File:

• trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java

@@ -14 +14 @@
 public final class AnimationExtensionManager {
 
-    private static AnimationExtension currentExtension;
+    private static volatile AnimationExtension currentExtension;
 
     private AnimationExtensionManager() {