JavaDoc for GUIFacade