/**
* Constucts new Factorymanager
*/
public FactoryManager(Workspace workspace) {
this.workspace = workspace;
this.navigator = new Navigator(workspace);
this.navigator.getJComponent().setPreferredSize(new Dimension(160, 600));
this.navigator.addExlorer(STATIC_NAME);
this.navigator.addExlorer(DYNAMIC_NAME);
this.navigator.addExlorer(SUBSETS_NAME);
this.factorySwicther = new JPanel(new BorderLayout());