.addListener(mxEvent.SCALE_AND_TRANSLATE, refreshHandler);
graph.getView().addListener(mxEvent.DOWN, refreshHandler);
graph.getView().addListener(mxEvent.UP, refreshHandler);
// Refreshes the handles if moveVertexLabels or moveEdgeLabels changes
graph.addPropertyChangeListener(new PropertyChangeListener()
{
/*
* (non-Javadoc)
* @see java.beans.PropertyChangeListener#propertyChange(java.beans.PropertyChangeEvent)