/** * Shuts down used threads. */ public void stop() { constructionMarksCalculator.cancel(); connector.removeListener(this); refreshSelectionTimer.cancel(); } }
/** * Shuts down used threads. */ public void stop() { constructionMarksCalculator.cancel(); connector.removeListener(this); refreshSelectionTimer.cancel(); } }