Bei mir war es ein ähnlicher Fehler. Ich habe es einfach durch Einfügen von
gelöstSetJavaHome /usr/lib/jvm/java-7-openjdk-amd64/
in die Datei ~/.sqldeveloper/4.0.0/product.conf.
Bei mir war es ein ähnlicher Fehler. Ich habe es einfach durch Einfügen von
gelöstSetJavaHome /usr/lib/jvm/java-7-openjdk-amd64/
in die Datei ~/.sqldeveloper/4.0.0/product.conf.