Closed lupino3 closed 4 years ago
Thanks! Can you dump the whole output to update this, so we also get the version?
Ideally we'd want to actually run the command and copy-paste de output; the actual output is slightly different: [-sourceLevel [auto, 1.8, 1.9, 1.10, 1.11]]
rather than [-sourceLevel [1.8|1.9|1.10|1.11]]
(which is missing auto
BTW)
We'd also want to do the same for CodeServer in http://www.gwtproject.org/articles/superdevmode.html
No worries, happy to help :)
Mention more recent Java versions supported by the GWT compiler.
Found the values here: https://github.com/gwtproject/gwt/blob/master/dev/core/src/com/google/gwt/dev/util/arg/SourceLevel.java