--- a/etc/settings Sat Mar 09 13:01:24 2013 +0100
+++ b/etc/settings Sat Mar 09 18:22:20 2013 +0100
@@ -11,7 +11,7 @@
### JVM components (Scala or Java)
###
-ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5"
+ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
###