Reviewers: rchandia,

Description:
Warn users of JRE 1.5 that their days are numbered
Addresses
http://code.google.com/p/google-web-toolkit/issues/detail?id=5884


Please review this at http://gwt-code-reviews.appspot.com/1328802/show

Affected files:
  M dev/core/src/com/google/gwt/util/tools/ToolBase.java


Index: dev/core/src/com/google/gwt/util/tools/ToolBase.java
===================================================================
--- dev/core/src/com/google/gwt/util/tools/ToolBase.java        (revision 9630)
+++ dev/core/src/com/google/gwt/util/tools/ToolBase.java        (working copy)
@@ -63,6 +63,17 @@
    */
private final Map<String, ArgHandler> argHandlers = new LinkedHashMap<String, ArgHandler>();

+  /**
+   * Log deprecation warning on old JREs.
+   */
+  protected void checkJdkVersion() {
+    // JDK 1.6 is 50
+ double classVersion = Double.valueOf(System.getProperty("java.class.version","0.0"));
+    if (classVersion < 50) {
+ System.err.println("WARNING: Use on a JRE prior to version 1.6 is deprecated");
+    }
+  }
+
   protected String getDescription() {
     return null;
   }
@@ -180,6 +191,8 @@
   }

   protected boolean processArgs(String... args) {
+    checkJdkVersion();
+
     if (args.length > 0) {
       boolean help = false;
       if ("-help".equalsIgnoreCase(args[0])) {


--
http://groups.google.com/group/Google-Web-Toolkit-Contributors

Reply via email to