Correct the comment about number handling in GWT.
GWT does support Integer but java.lang.Integer != JS Number while java.lang.Double == JS Number.
java.lang.Integer is represented with a boxed java object. Hence you cannot pass a number from javascript where Integer is expected from Java.
@@ -93,7 +93,7 @@ public final class GwtRunner implements EntryPoint {
String outputWrapper;
@Deprecated
boolean polymerPass;
- Double polymerVersion; // nb. GWT only supports Double, not Integer
+ Double polymerVersion; // nb. nullable JS number represented by java.lang.Double in GWT.
boolean preserveTypeAnnotations;
boolean processClosurePrimitives;
boolean processCommonJsModules;
