protected static void loadSymbols() throws EXistException {
protected void loadSymbols() throws EXistException {
	protected static void loadSymbols() throws EXistException {		try {			FileInputStream fis = new FileInputStream(symbolsFile);			VariableByteInputStream is = new VariableByteInputStream(fis);			symbols.read(is);			fis.close();		} catch (FileNotFoundException e) {			throw new EXistException(				"could not read " + symbolsFile.getAbsolutePath());		} catch (IOException e) {			throw new EXistException(				"io error occurred while reading "					+ symbolsFile.getAbsolutePath());		}	}