New SQLDeveloper 4 crashes on Ubuntu 13.10 and JDK 1.7.0_45:
Solution is simple, before launch sh sqldeveloper.sh unset environment variable GNOME_DESKTOP_SESSION_ID or you can create another launcher.sh like this:
and just invoke sh launcher.sh.
