SQLDeveloper 4 crash JVM on startup

New SQLDeveloper 4 crashes on Ubuntu 13.10 and JDK 1.7.0_45:

	# A fatal error has been detected by the Java Runtime Environment:
	#
	# SIGSEGV (0xb) at pc=0x00007f46f5cc7320, pid=10149, tid=139943869634304
	#
	# JRE version: Java(TM) SE Runtime Environment (7.0_45-b18) (build 1.7.0_45-b18)
	# Java VM: Java HotSpot(TM) 64-Bit Server VM (24.45-b08 mixed mode linux-amd64 compressed oops)
	# Problematic frame:
	# C 0x00007f46f5cc7320
	#
	# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
	#
	# An error report file with more information is saved as:
	# /home/babanin/software/sqldeveloper/sqldeveloper/bin/hs_err_pid10149.log
	#
	# If you would like to submit a bug report, please visit:
	# http://bugreport.sun.com/bugreport/crash.jsp
	#
	/home/babanin/software/sqldeveloper/sqldeveloper/bin/../../ide/bin/launcher.sh: line 1193: 10149 Aborted (core dumped) ${JAVA} "${APP_VM_OPTS[@]}" ${APP_ENV_VARS} -classpath ${APP_CLASSPATH} ${APP_MAIN_CLASS} "${APP_APP_OPTS[@]}"

view raw crash.log hosted with ❤ by GitHub

Solution is simple, before launch sh sqldeveloper.sh unset environment variable GNOME_DESKTOP_SESSION_ID or you can create another launcher.sh like this:

	unset GNOME_DESKTOP_SESSION_ID
	sh sqldeveloper.sh

view raw launcher.sh hosted with ❤ by GitHub

and just invoke sh launcher.sh.