view.setAsHilited(null);
public void cut() {	ViewState view = ViewState.getInstance();	if (view.getSelectedObjects().size()==0) return;	Group.getClipboard().destroy();	pasteNames.clear();		Object obj;	Enumeration selected = view.getSelectedObjects().elements();		int minx=Integer.MAX_VALUE, miny=Integer.MAX_VALUE;	while (selected.hasMoreElements()) {		obj = selected.nextElement();		if (obj instanceof VisibleObject) {			minx = Math.min(minx, ((VisibleObject)obj).getX());			miny = Math.min(miny, ((VisibleObject)obj).getY());		}	}		// remember position for paste	pasteX = (minx - view.getRx()/view.getScale());	pasteY = (miny - view.getRy()/view.getScale());		selected = view.getSelectedObjects().elements();	while (selected.hasMoreElements()) {		obj = selected.nextElement();		if (obj instanceof Flexible) {			Flexible flex = (Flexible)obj;			String oldGroup = Group.substractParentName(flex.getFlexibleName());			if (flex.moveToGroup(Constants.CLIPBOARD_NAME))			{				pasteNames.add(oldGroup);				if (obj instanceof Movable)					//((Movable)obj).move(-view.getRx(), -view.getRy());					((Movable)obj).move(-minx, -miny);			}		}	}	view.deselectAll();	drawingSurface.setModified(true);	drawingSurface.repaint();}