160161162163164165166167
if (this.getMediator() != null) { this.getMediator().getMebnEditionPane().getMTheoryTree().addNode(mfrag, this); } this.forceTypeToBeANumber(); } else { throw new MFragDoesNotExistException(); } }