src/Tools/jEdit/src/jEdit.props

--- a/src/Tools/jEdit/src/jEdit.props	Tue Apr 22 12:30:54 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Tue Apr 22 12:41:34 2014 +0200
@@ -258,6 +258,10 @@
 toggle-rect-select.shortcut2=A+NUMBER_SIGN
 twoStageSave=false
 vfs.browser.dock-position=floating
+vfs.favorite.0=$ISABELLE_HOME
+vfs.favorite.0.type=1
+vfs.favorite.1=$ISABELLE_HOME_USER
+vfs.favorite.1.type=1
 view.antiAlias=standard
 view.blockCaret=true
 view.caretBlink=false