method destroy : unit = ( destroy optionLabel; destroy session; 
                    destroy f; destroy hf1; destroy labelDepth; 
                    destroy entryDepth; destroy hf2;
                    destroy labelPath; destroy entryPath;)