7177211: SharedNameTable.create and .dispose are not used

Reviewed-by: jjg
This commit is contained in:
Paul Govereau 2014-05-27 14:23:55 -04:00
parent 0b1c40b161
commit 773e460c33

View File

@ -317,9 +317,9 @@ public class Names {
protected Name.Table createTable(Options options) { protected Name.Table createTable(Options options) {
boolean useUnsharedTable = options.isSet("useUnsharedTable"); boolean useUnsharedTable = options.isSet("useUnsharedTable");
if (useUnsharedTable) if (useUnsharedTable)
return new UnsharedNameTable(this); return UnsharedNameTable.create(this);
else else
return new SharedNameTable(this); return SharedNameTable.create(this);
} }
public void dispose() { public void dispose() {