public static void onContentEdit(Document document,
			final P1<UndoableEditEvent> p1) {
		document.addUndoableEditListener(new UndoableEditListener() {
			public void undoableEditHappened(UndoableEditEvent e) {
				p1.e(e);
			}
		});
	}