Minor JavaVersion.toString enhancement.