[cp-patches] [patch] let gjavah accept -source 1.[567]

[Matthias Klose]

Currently gjavah only accepts -source 1.4 and lower, and errors out for any
other value. Would it be reasonable to accept higher versions too?

  Matthias


Index: classpath/tools/gnu/classpath/tools/gjdoc/Main.java
===================================================================
--- classpath/tools/gnu/classpath/tools/gjdoc/Main.java	(Revision 194604)
+++ classpath/tools/gnu/classpath/tools/gjdoc/Main.java	(Arbeitskopie)
@@ -1339,10 +1310,13 @@
             option_source = args[0];
             if (!"1.2".equals(option_source)
                 && !"1.3".equals(option_source)
-                && !"1.4".equals(option_source)) {
+                && !"1.4".equals(option_source)
+                && !"1.5".equals(option_source)
+                && !"1.6".equals(option_source)
+                && !"1.7".equals(option_source)) {
 
               throw new RuntimeException("Only he following values are currently"
-                                         + " supported for option -source: 1.2, 1.3, 1.4.");
+                                         + " supported for option -source: 1.2, 1.3, 1.4, 1.5, 1.6, 1.7.");
             }
           }
         });