--- /Users/tom/Downloads/jsr223-1-1.0/src/javax/script/ScriptEngineManager.java	2007-06-12 14:10:02.000000000 +0200
+++ ScriptEngineManager.java	2008-04-07 11:57:14.000000000 +0200
@@ -135,6 +135,12 @@
                     // one factory failed, but check other factories...
                     continue;
                 }
+                catch (UnsupportedClassVersionError err) {
+                    if (DEBUG) {
+                        err.printStackTrace();
+                    }
+                    continue;
+                }
             }
         } catch (ServiceConfigurationError err) {
             System.err.println("ScriptEngineManager providers.hasNext(): "