====== Instalación ======
Se puede instalar creando un paquete o utilizando el binario
Nos descargamos el fichero sin JVM de http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/index.html
===== Como paquete =====

1. Instalar:

  sudo apt-get install sqldeveloper-package

Este paquete proporciona el comando "make-sqldeveloper-package"

2. Descargar el paquete marcado como "Other Platforms"

http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/index.html

3. Crear el paquete:

  make-sqldeveloper-package sqldeveloper-4.0.3.16.84-no-jre.zip

Tarda unos 5.

4. Instalar el paquete creado:

  sudo dpkg -i sqldeveloper_17.3.1.279.0537+0.2.4-1_all.deb 

5. Ejecutar la aplicacion:

  sqldeveloper
===== Como binario =====
Descomprimimos el fichero

====== Selección de JVM ======
Para seleccionar la JVM a utilizar, modificamos el fichero 
  $HOME/.sqldeveloper/4.0.0/product.conf
Y añadimos la línea:
  SetJavaHome /usr/lib/jvm/jdk1.7.0_75