getEncoding(int) was not used in native code
formatting