Use a shorter list of encoding instead of those supported by Java 7