--- backup/setclasspath.sh	2010-07-25 09:50:09.000000000 +0200
+++ bin/setclasspath.sh	2010-07-24 09:28:37.000000000 +0200
@@ -30,6 +30,7 @@
     fi
   else
     JAVA_PATH=`which java 2>/dev/null`
+    JAVA_PATH=`readlink -e "$JAVA_PATH" 2>/dev/null`
     if [ "x$JAVA_PATH" != "x" ]; then
       JAVA_PATH=`dirname $JAVA_PATH 2>/dev/null`
       JRE_HOME=`dirname $JAVA_PATH 2>/dev/null`