Interface ZipEncoding

An interface for encoders that do a pretty encoding of ZIP filenames. There are mostly two implementations, one that uses java.nio java.nio.charset.Charset Charset and one implementation, which copes with simple 8 bit charsets, because java-1.4 did not support Cp437 in java.nio.