Fixing Javadoc error in Menu class