Messaggio "JAVA_HOME indica JDK anziché JRE"

Ho installato Java

aaa@ubuntu:~$ whereis java
java: /usr/bin/java /usr/bin/X11/java /usr/local/java /usr/share/java
aaa@ubuntu:~$ whereis javac
javac: /usr/bin/javac /usr/bin/X11/javac

ed ecc / profilo

JAVA_HOME=/usr/local/java/jdk1.7.0_17
PATH=$PATH:$HOME/bin:$JAVA_HOME/bin
JRE_HOME=/usr/local/java/jre1.7.0_17
PATH=$PATH:$HOME/bin:$JRE_HOME/bin
export JAVA_HOME
export JRE_HOME
export PATH

Tuttavia, quando eseguo Android Studio, dice:

tools.jar in not in Android Studio classpath. Please ensure you have JAVA_HOME points 
to JDK rather than JRE.

Come lo aggiusto?

aggiornare

sudo update-alternatives --get-selections | grep ^java 
java                           manual   /usr/local/java/jre1.7.0_17/bin/java
javac                          manual   /usr/local/java/jdk1.7.0_17/bin/javac
javaws                         manual   /usr/local/java/jre1.7.0_17/bin/javaws


java -version
java version "1.7.0_17"

Devi usare la versione jre in jdk, puoi farlo eseguendo

    sudo update-alternatives --set java /usr/local/java/jdk1.7.0_17/jre/bin/java
    sudo update-alternatives --set javaws /usr/local/java/jdk1.7.0_17/jre/bin/javaws

Normalmente questo può essere fatto usando update-java-alternativescon un .jinfofile, ma per qualche motivo non puoi trovarli sul tuo sistema.