I'd like to be able to distinguish my openjdk build from others, by setting java_runtime_name to something that signifies my openjdk derivative. Is it possible to set java_runtime_name that's used in .//jdk/src/share/classes/sun/misc/Version.java.template via configure? How do others typically do this?