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

Review at http://gwt-code-reviews.appspot.com/1328802

Review by: rchandia@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9636 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/dev/core/src/com/google/gwt/util/tools/ToolBase.java b/dev/core/src/com/google/gwt/util/tools/ToolBase.java
index 9c43ffb..c6931a0 100644
--- a/dev/core/src/com/google/gwt/util/tools/ToolBase.java
+++ b/dev/core/src/com/google/gwt/util/tools/ToolBase.java
@@ -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])) {