internal SymbolTableManager(DebuggerSession session) { this.symbol_files = ArrayList.Synchronized (new ArrayList ()); }