*/
private synchronized void loadSymbols() throws EXistException {
try {
final FileInputStream fis = new FileInputStream(getFile());
final VariableByteInput is = new VariableByteInputStream(fis);
final int magic = is.readFixedInt();
if(magic == LEGACY_FILE_FORMAT_VERSION_ID) {
LOG.info("Converting legacy symbols.dbx to new format...");
readLegacy(is);
saveSymbols();
} else if(magic != FILE_FORMAT_VERSION_ID) {