org.gjt.sp.jedit.io.EncodingServer.hasEncoding(String)
org.gjt.sp.jedit.io.XMLEncodingDetector.getXMLEncoding(String)