public void mouseReleased(MouseEvent e) {
				if (popupTrigger || e.isPopupTrigger()) {
					if (rotateToolPopupMenu == null) {
						rotateToolPopupMenu = new RotateToolPopupMenu(view);
					}
					rotateToolPopupMenu.setStateID(view.getActionID());
					rotateToolPopupMenu.show((AbstractButton) e.getSource(), 5, 5);
				}
			}