private JMenu createNewTableMenu() {
		JMenu newTableMenu = new JMenu(
				this.menuActionMap.get(MenuActionType.NEW_TABLE_MENU));
		addActionToMenu(ActionType.TRUTH_TABLE, newTableMenu);
		addActionToMenu(ActionType.KARNAUGH_MAP, newTableMenu);
		return newTableMenu;
	}