--- a/jdk/src/share/classes/java/util/function/IntSupplier.java	Wed May 15 10:25:59 2013 +0200
+++ b/jdk/src/share/classes/java/util/function/IntSupplier.java	Fri May 17 10:36:04 2013 -0700
@@ -39,5 +39,5 @@
      *
      * @return an {@code int} value
      */
-    public int getAsInt();
+    int getAsInt();
 }