Fix for Java version number parsing. Patch part can get wild...