/**
* call the user interface's general configuration method if the userInit option is true, and a
* user interface exists
*/
public void configUI() {
if (Boolean.parseBoolean(genProps.getProperty("userInit", "false"))
&& !(userInterface == null)) {
userInterface.user_init(genProps);
}
}
