added to Helpmenuview.java