All of my other tools (well, except for Eclipse) honor the JAVA_HOME environment variable. Also, this patch only aligns the unix startup script behaviour with the existing Windows behaviour, which ...

location of your Java installation. JAVA_HOME was already correctly set in my environment. (My JAVA_HOME isn't /opt/android-studio/jbr.) The message left me confused ...