presto-main/src/main/java/io/prestosql/server/JavaVersion.java/JavaVersion/JavaVersion
class JavaVersion:    public JavaVersion(int major, int minor, OptionalInt update)
    {
        this.major = major;
        this.minor = minor;
        this.update = update;
    }