# HG changeset patch
# User wenzelm
# Date 1290965514 -3600
# Node ID cd7b17ba502b3bc96f273355ce1fba49d15c462c
# Parent  301e91df039d2f70fb71ff6cbd1ec29a126e153d
basic setup for bundled Java runtime;

diff -r 301e91df039d -r cd7b17ba502b Admin/java/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/java/README	Sun Nov 28 18:31:54 2010 +0100
@@ -0,0 +1,2 @@
+This is JRE 1.6.0_22 for Linux and Linux x86 from
+http://www.java.com/en/download/manual.jsp
diff -r 301e91df039d -r cd7b17ba502b Admin/java/etc/settings
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/java/etc/settings	Sun Nov 28 18:31:54 2010 +0100
@@ -0,0 +1,2 @@
+JAVA_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jre1.6.0_22"
+ISABELLE_JAVA="$JAVA_HOME/bin/java"