let user set java_version=7u51 and magically resolve to adequate s3 URL