src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Mar 18 13:59:54 2012 +0100
+++ b/src/Pure/build-jars	Sun Mar 18 21:52:50 2012 +0100
@@ -170,7 +170,7 @@
 
   rm -rf classes && mkdir classes
 
-  SCALAC_OPTIONS="-unchecked -deprecation -d classes -target:jvm-1.5"
+  SCALAC_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -d classes"
 
   "$SCALA_HOME/bin/scalac" $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
     fail "Failed to compile PIDE sources"