"double undo: should be 'phXss\\n' and is: " + sc.getString(0, sc.length()));
ue2.undo();
h.check("phXsats\n", sc.getString(0, sc.length()), "should be 'phXsats\\n' and is: " + sc.getString(0, sc.length()));
ue.redo();
h.check("phXts\n", sc.getString(0, sc.length()), "double undo: should be 'phXts\\n' and is: " + sc.getString(0, sc.length()));
ue3.undo();
h.check("claphXts\n", sc.getString(0, sc.length()), "add an X: should be 'claphXts\\n' and is: " + sc.getString(0, sc.length()));
}
catch (BadLocationException ble)
{
h.fail("BadLocation! " + ble.getMessage());