Searched refs:namesHash (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/make/tools/src/build/tools/dtdbuilder/
H A DDTDBuilder.java66 private Hashtable namesHash = new Hashtable(); field in class:DTDBuilder
136 Object o = namesHash.get(name);
142 namesHash.put(name, new Integer(i));

Completed in 454 milliseconds