private void initFrontEnd(FrontEnd newFrontEnd) { if (frontEnd == null) { frontEnd = newFrontEnd; frontEnd.addSignalListener(this); } else if (frontEnd != newFrontEnd) { frontEnd.removeSignalListener(this); frontEnd = newFrontEnd; frontEnd.addSignalListener(this); } }
private void initFrontEnd(FrontEnd newFrontEnd) { if (frontEnd == null) { frontEnd = newFrontEnd; frontEnd.addSignalListener(this); } else if (frontEnd != newFrontEnd) { frontEnd.removeSignalListener(this); frontEnd = newFrontEnd; frontEnd.addSignalListener(this); } }