# HG changeset patch
# User pgovereau
# Date 1401215035 14400
# Node ID 8848a1bca14fccbab03b66ae5c98961df3ecef63
# Parent  8b3b718970a9dcb37ae568acb598117dabc9297b
7177211: SharedNameTable.create and .dispose are not used
Reviewed-by: jjg

diff -r 8b3b718970a9 -r 8848a1bca14f langtools/src/share/classes/com/sun/tools/javac/util/Names.java
--- a/langtools/src/share/classes/com/sun/tools/javac/util/Names.java	Tue May 27 22:26:53 2014 +0100
+++ b/langtools/src/share/classes/com/sun/tools/javac/util/Names.java	Tue May 27 14:23:55 2014 -0400
@@ -317,9 +317,9 @@
     protected Name.Table createTable(Options options) {
         boolean useUnsharedTable = options.isSet("useUnsharedTable");
         if (useUnsharedTable)
-            return new UnsharedNameTable(this);
+            return UnsharedNameTable.create(this);
         else
-            return new SharedNameTable(this);
+            return SharedNameTable.create(this);
     }
 
     public void dispose() {