make java version a setting