Searched defs:JAVA_SOURCE_CHARSET (Results 1 – 1 of 1) sorted by relevance
56 private static final Charset JAVA_SOURCE_CHARSET = StandardCharsets.UTF_8; field in Main142 new InputStreamReader(new FileInputStream(file), JAVA_SOURCE_CHARSET))) { in readSource() argument