Java 19 support

This commit is contained in:
md_5 2022-09-21 07:00:21 +10:00
parent 668e05a24d
commit a45f2feb10
No known key found for this signature in database
GPG key ID: E8E901AC7C617C11
2 changed files with 2 additions and 1 deletions

View file

@ -11,7 +11,7 @@ public class Bootstrap
if ( javaVersion.isUnknown() )
{
System.err.println( "*** WARNING *** Unsupported Java detected (" + System.getProperty( "java.class.version" ) + "). BuildTools has only been tested up to Java 18. Use of development Java versions is not supported." );
System.err.println( "*** WARNING *** Unsupported Java detected (" + System.getProperty( "java.class.version" ) + "). BuildTools has only been tested up to Java 19. Use of development Java versions is not supported." );
System.err.println( "*** WARNING *** You may use java -version to double check your Java version." );
}

View file

@ -24,6 +24,7 @@ public class JavaVersion
public static final JavaVersion JAVA_16 = new JavaVersion( "Java 16", 60 );
public static final JavaVersion JAVA_17 = new JavaVersion( "Java 17", 61 );
public static final JavaVersion JAVA_18 = new JavaVersion( "Java 18", 62 );
public static final JavaVersion JAVA_19 = new JavaVersion( "Java 19", 63 );
//
private final String name;
private final int version;