use a better property to get the proper Java version number