/* (non-Javadoc)
* @see org.eclipse.vtp.desktop.editors.themes.mantis.MantisComponentFrame#mouseDoubleClick(org.eclipse.vtp.desktop.editors.core.commands.CommandListener, int, int, int)
*/
public void mouseDoubleClick(CommandListener commandListener, int x, int y, int modifiers) {
super.mouseDoubleClick(commandListener, x, y, modifiers);
}
