[logback-dev] [JIRA] (LOGBACK-1260) Correct parsing of java.version string for Java 9