commit 08645d90593cfdbaa371e71a2ed56020e5c6ba9d
author Roberto Lublinerman <rluble@google.com> Wed May 08 10:51:24 2013 -0700
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Tue May 21 01:18:48 2013 +0000
tree d774fdab2f3480f651eafb74152e5ca116f82e4a
parent ff57701e82d8a341240aced6477e3731ea9232b3

Adds part of Java 7 new language features.

Adds the Java 7 new language features: namely, the diamond operator, new numerical
literal formats, and switch/case on string literals.

Adds a new flag -source to select source level compatibility (java 6 or java 7);
-source defaults to java 6.

Fixes issue 6633.

Change-Id: I91c1f39ff20a2e7ac131d647bf4c96e34ce47a70
Review-Link: https://gwt-review.googlesource.com/#/c/2650/