if ((filter & FILTER_TMX) != 0) {
desc = FILETYPE_TMX;
exts.add("tmx");
exts.add("tmx.gz");
pmio = new XMLMapWriter();
}
if ((filter & FILTER_TSX) != 0) {
desc += FILETYPE_TSX;
exts.add("tsx");
if (pmio == null) {
pmio = new XMLMapWriter();
}
}
if (filter == FILTER_EXT) {
desc = FILETYPE_EXT;