rest = matcher.group(3);
if (matcher.group(3) != null) rest = matcher.group(3); else rest = "";
	public JavaVersion(String versionString) throws JavaVersionException {		Matcher matcher = PATTERN.matcher(versionString);		if (!matcher.matches())			throw new JavaVersionException("Could not parse Java version string: " + versionString);		try {			major = Integer.parseInt(matcher.group(1));			minor = Integer.parseInt(matcher.group(2));			rest = matcher.group(3);		} catch (NumberFormatException e) {			throw new JavaVersionException("Could not parse Java Version string: " + versionString, e);		}	}