The default value in `ArgHandlerSource` is 1.7. Maybe we should try to make it match the current JVM? (i.e. no `defaultValue` here and instead use `SourceLevel.fromString(System.getProperty("java.specification.version"))`)