In one case (possibly due to the use of an older JRE) double-clicking items in the tree views failed to open the element in the High-Level Editor window. In order to provide a backup method for doing this, the pop-up menus created when an element is right-clicked should include an "open" option that opens the given element in the HLE.