So I don't think HFSExplorer can do any better unless we start storing preferences which I have avoided so far but since there is in fact a standard Java preferences API we could maybe consider using ...