====== 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

====== Error modules ======
https://stackoverflow.com/questions/31809319/sql-developer-error-with-disable-modules-and-continue

Renombrar o borrar carpeta:
  %APPDATA%\SQL Developer\system21.2.1.204.1703\system_cache
Desde cmd:
  echo %APPDATA%
  C:\Users\joseantonio.legidoma\AppData\Roaming
En este caso sería:
  C:\Users\joseantonio.legidoma\AppData\Roaming\SQL Developer\system23.1.1.345.2114\system_cache