src/Doc/System/Sessions.thy

--- a/src/Doc/System/Sessions.thy	Fri Mar 11 11:49:21 2016 +0100
+++ b/src/Doc/System/Sessions.thy	Fri Mar 11 17:20:14 2016 +0100
@@ -267,8 +267,10 @@
     -v           verbose
     -x NAME      exclude session NAME and all descendants
 
-  Build and manage Isabelle sessions, depending on implicit
+  Build and manage Isabelle sessions, depending on implicit settings:
+
   ISABELLE_BUILD_OPTIONS="..."
+  ISABELLE_BUILD_JAVA_OPTIONS="..."
 
   ML_PLATFORM="..."
   ML_HOME="..."