symbols = JavaScriptRepositoryServlet.getSymbols(getFacesContext());
symbols = getSymbolsMap();
    private String convertSymbol(String symbol) {        if (symbolsInitialized == false) {            symbolsInitialized = true;            symbols = JavaScriptRepositoryServlet.getSymbols(getFacesContext());        }        if (symbols == null) {            return symbol;        }        String s = (String) symbols.get(symbol);        if (s != null) {            return s;        }        return symbol;    }