A revised proposal... Still called "jdk.release".But if people really think "jdk.properties" sounds ok, at least the names are unique and won't conflict.
http://cr.openjdk.java.net/~ohair/openjdk7/jdk_release2/webrev/A Linux 64bit build should result in a jdk.release file that looks something like:
jdk.os.name = Linux jdk.os.version = 2.6 jdk.os.arch = amd64 jdk.java.version = 1.7.0 jdk.vm.cfg.files = jre/lib/amd64/jvm.cfg -kto
