--- a/jdk/src/share/classes/java/awt/event/InputEvent.java	Mon Oct 07 11:34:44 2013 -0700
+++ b/jdk/src/share/classes/java/awt/event/InputEvent.java	Tue Oct 08 13:57:44 2013 +0400
@@ -445,7 +445,7 @@
      * <PRE>
      *    int onmask = SHIFT_DOWN_MASK | BUTTON1_DOWN_MASK;
      *    int offmask = CTRL_DOWN_MASK;
-     *    if ((event.getModifiersEx() & (onmask | offmask)) == onmask) {
+     *    if ((event.getModifiersEx() &amp; (onmask | offmask)) == onmask) {
      *        ...
      *    }
      * </PRE>