Java file.encoding default July 8, 2019 16 32 64 128 Java file.encoding default value Java properties file default encoding Java 17 default file encoding Java default file encoding windows Java set default file encoding Java get default file encoding Java 21 default file encoding Java jvm default file encoding Java file extension