public void mouseClicked(GraphEditorMouseEvent e) {
boolean processed = false;
if ((e.getButton() == MouseEvent.BUTTON1) && (e.getClickCount() > 1)) {
GraphEditor editor = e.getEditor();
VisualModel model = editor.getModel();
<BUG>Node node = HitMan.hitTestForSelection(e.getPosition(), model);
</BUG>
if (node != null) {
if (node instanceof VisualPlace) {
Place place = ((VisualPlace) node).getReferencedPlace();

public void mouseClicked(GraphEditorMouseEvent e) {
boolean processed = false;
if ((e.getButton() == MouseEvent.BUTTON1) && (e.getClickCount() > 1)) {
GraphEditor editor = e.getEditor();
VisualModel model = editor.getModel();
Node node = HitMan.hitTestCurrentLevelFirst(e.getPosition(), model);
if (node != null) {
if (node instanceof VisualPlace) {
Place place = ((VisualPlace) node).getReferencedPlace();
