Package org.omegat.gui.properties