I'm sorry, there is no such page as [ -z "$JAVA_HOME"?.
No other page links to [ -z "$JAVA_HOME" yet.