public void recordInsertChecklistElement(WindowId windowId, String fileName) {
record(new InsertChecklistElement(windowId, fileName));
}
public void recordShowChecklistElement(WindowId windowId, String fileName) {
record(new ShowChecklistElement(windowId, fileName));
}