name = new JTextField(driver.getPatchName(getPatch()), 16);
name = new JTextField(getPatch().getName(), 16);
	protected void createWidgets() {		Driver driver = getDriver();		if (driver != null) {			name = new JTextField(driver.getPatchName(getPatch()), 16);		} else {	    	name = new JTextField("Patch Name", 16);		}			name.addKeyListener(new KeyListener() {			public void keyPressed(KeyEvent e) {}			public void keyReleased(KeyEvent e) { eventListener(e); }			public void keyTyped(KeyEvent e) {}	    	});    	}