Console is not docked on startup;

--- a/src/Tools/jEdit/src/jEdit.props	Wed Jan 09 21:59:53 2013 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Wed Jan 09 22:24:31 2013 +0100
@@ -7,6 +7,7 @@
 buffer.noTabs=true
 buffer.sidekick.keystroke-parse=false
 buffer.tabSize=2
+console.dock-position=floating
 console.encoding=UTF-8
 console.font=IsabelleText
 console.fontsize=14