When launching the SQL Developer bash script it asked for the Java location, could not find it.
If you’ve installed Java 7, and you launch SQL Developer, use this as the path, or the equivalent:
/usr/lib/jvm/java-7-oracle
You can set your java_home but this does not help the above:
sudo nano /etc/environment
JAVA_HOME=/usr/lib/jvm/java-7-oracle
SQL Developer that works with Java 7:
http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/sqldev-downloads-403-2529784.html
sqldeveloper-4.0.3.16.84-no-jre.zip
Bonus:
Use Filter: WEB% for HAL