http://ubuntuforums.org/showthread.php?t=224100I had a bunch of trouble getting a GNOME launcher to successfully execute (interestingly enough, the Eclipse/STS launchers mostly worked fine) – turned out it was related to JDK_HOME not being recognized by GNOME. I’d gotten accustomed to setting up my environment variables in ~/.bashrc and sourcing that into .profile – apparently GNOME looks in ...