driver.setPatchName(getPatch(), name.getText());
getPatch().setName(name.getText());
    protected void eventListener(FocusEvent e) {	Driver driver = getDriver();	if (driver != null)	    driver.setPatchName(getPatch(), name.getText());    }