Package org.omegat.gui.editor.history