public void writeRevTable() {
		TranslationTable revtable = new TranslationTable();
		basePackage.writeTable(revtable, true);
		try {
			OutputStream out = new FileOutputStream(outRevTableFile);
			revtable.store(out);
			out.close();
		} catch (java.io.IOException ex) {
			GlobalOptions.err.println("Can't write rename table "
					+ outRevTableFile);
			ex.printStackTrace(GlobalOptions.err);
		}
	}