docs: public SymbolTable removeTable(String name, int version)
      {
          SymbolTable removed = null;
  
          synchronized (myTablesByName)
          {
              TreeMap<Integer,SymbolTable> versions =
                  myTablesByName.get(name);
              if (versions != null)
              {
                  synchronized (versions)
                  {
                      removed = versions.remove(version);
  
                      // Remove empty intermediate table
                      if (versions.isEmpty())
                      {
                          myTablesByName.remove(name);
                      }
                  }
              }
          }
  
          return removed;
      }