void updateCursor(){
  if (model.getHoveringOperator() != null || model.getHoveringPort() != null) {
    setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
  }
 else {
    setCursor(Cursor.getDefaultCursor());
  }
}

void updateCursor ( ) { if ( model . getHoveringOperator ( ) != null || model . getHoveringPort ( ) != null ) { setCursor ( Cursor . getPredefinedCursor ( Cursor . HAND_CURSOR ) ) ; } else { setCursor ( Cursor . getDefaultCursor ( ) ) ; } }
updates the currently displayed cursor depending on hover state .
