diff -r 7a5c681c0265 -r 012a887997f3 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sun Apr 22 11:05:04 2012 +0200
+++ b/lib/scripts/getsettings	Sun Apr 22 14:30:18 2012 +0200
@@ -11,9 +11,13 @@
 
 ISABELLE_SETTINGS_PRESENT=true
 
-#JVM path wrapper
+#Cygwin vs Posix
 if [ "$OSTYPE" = cygwin ]
 then
+  if [ -z "$USER_HOME" ]; then
+    USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")"
+  fi
+
   ISABELLE_HOME_WINDOWS="$(cygpath -w "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
   ISABELLE_HOME="$(cygpath -u "$ISABELLE_HOME_WINDOWS")"
 
@@ -21,10 +25,13 @@
   function jvmpath() { cygpath -i -C UTF8 -w -p "$@"; }
   THIS_CYGWIN="$(jvmpath "/")"
 else
+  if [ -z "$USER_HOME" ]; then
+    USER_HOME="$HOME"
+  fi
+
   function jvmpath() { echo "$@"; }
   CLASSPATH="$CLASSPATH"
 fi
-HOME_JVM="$HOME"
 
 export ISABELLE_HOME
 if { echo -n "$ISABELLE_HOME" | fgrep " " >/dev/null; }