src/java.desktop/windows/classes/sun/awt/windows/WWindowPeer.java

@@ -538,11 +538,11 @@
 
         // get current GD
         Win32GraphicsDevice oldDev = winGraphicsConfig.getDevice();
 
         Win32GraphicsDevice newDev;
-        GraphicsDevice devs[] = GraphicsEnvironment
+        GraphicsDevice[] devs = GraphicsEnvironment
             .getLocalGraphicsEnvironment()
             .getScreenDevices();
         // Occasionally during device addition/removal getScreenImOn can return
         // a non-existing screen number. Use the default device in this case.
         if (scrn >= devs.length) {