final Set unused = new HashSet(MAPPING.keySet());
File f = new File(args[n - 1]);
File d = new File(args[n]);
optimize(f, d, new SimpleRemapper(MAPPING) {
public String map(String key) {
String s = super.map(key);
if (s != null) {
unused.remove(key);
}