super.setProperty(name, value);
}
public void addListener(String event, final String name, final GUIEventListener listener) throws GUIException {
if ("command".equals(event)) {
console.addCommandListener(new CommandListener() {
public void onCommand(CommandEvent e) {
listener.eventOccured(new GUIEvent(Console.this, name, e));
}
});
} else {