}
optionSet.add(DEBUG_OPTION);
final Enumeration e = options.elements();
while (e.hasMoreElements()) {
final MenuOptions element = (MenuOptions) e.nextElement();
element.menuOptions(optionSet);
}
menu = new PopupMenu(this);
backgroundColor = optionSet.getColor();