dock isabelle-session at bottom (again, cf. 37bdc2220cf8) to ensure that controls are fully visible;

--- a/src/Tools/jEdit/dist-template/lib/Tools/jedit	Tue Oct 26 16:56:07 2010 +0200
+++ b/src/Tools/jEdit/dist-template/lib/Tools/jedit	Thu Oct 28 14:56:14 2010 +0200
@@ -106,7 +106,7 @@
 
 if [ ! -e "$JEDIT_SETTINGS/perspective.xml" ]; then
   cat > "$JEDIT_SETTINGS/DockableWindowManager/perspective-view0.xml" <<EOF
-<DOCKING LEFT="" TOP="" RIGHT="isabelle-session" BOTTOM="" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />
+<DOCKING LEFT="" TOP="" RIGHT="" BOTTOM="isabelle-session" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />
 EOF
   cat > "$JEDIT_SETTINGS/perspective.xml" <<EOF
 <?xml version="1.0" encoding="UTF-8" ?>

--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Oct 26 16:56:07 2010 +0200
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Thu Oct 28 14:56:14 2010 +0200
@@ -178,9 +178,9 @@
 insert-newline-indent.shortcut=
 insert-newline.shortcut=ENTER
 isabelle-output.dock-position=bottom
+isabelle-session.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412
-isabelle-session.dock-position=right
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel