If you are having issues with JDeveloper crashing the JVM with a hotspot error in Gnome 3.12, try removing the GNOME_DESKTOP_SESSION_ID environment variable. Here is an example that uses a BASH script to start JDeveloper:

[bash]
#!/bin/sh

unset GNOME_DESKTOP_SESSION_ID
cd jdeveloper/jdev/bin
./jdev
[/bash]

A similar issue also exists with SQLDeveloper as well, no surprise since it is based on JDeveloper.