src/share/classes/java/awt/MouseInfo.java

Print this page

        

@@ -74,11 +74,11 @@
             throw new HeadlessException();
         }
 
         SecurityManager security = System.getSecurityManager();
         if (security != null) {
-            security.checkPermission(SecurityConstants.WATCH_MOUSE_PERMISSION);
+            security.checkPermission(SecurityConstants.AWT.WATCH_MOUSE_PERMISSION);
         }
 
         Point point = new Point(0, 0);
         int deviceNum = Toolkit.getDefaultToolkit().getMouseInfoPeer().fillPointWithCoords(point);
         GraphicsDevice[] gds = GraphicsEnvironment.getLocalGraphicsEnvironment().