Default to installing jre, not jdk