Great!
I've spent lot of time with this issue :-(.
However I had to follow the procedure as if I had a Mac but I have a Windows 7 64 bits...
Just for the "records". The first thing I tried was to add the jre as possible runtime to the IDE. Switched the server JRE config from jdk to jre. After that the server launched successfully. Switching back to jdk caused the same error again so I removed the jdk, restarted the IDE, added jdk again as runtime, switched the server JRE config from jre7 to jdk7 and started to work :-).
Thank you very much for the hint! It was really really helpful!