Functions to read/write long-term memory from/to files and convert DateTime to/from java.util.Date so times are serialised as #inst