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