danke für die schnelle Antwort! ich verwende 0.7.2 von github.
einen usernamen habe ich in der box nicht vergeben. oder gibt es da einen Standardwert?
mit Java 1.6 und 1.7 geht’s nicht. (OS X 10.9.1 und Windows 7 32bit)
edit 2:
ich habe jetzt nochmal dasselbe unter Windows 7 mit Java 1.7...