equal
deleted
inserted
replaced
51 } |
51 } |
52 return new SharedNameTable(names); |
52 return new SharedNameTable(names); |
53 } |
53 } |
54 |
54 |
55 static private synchronized void dispose(SharedNameTable t) { |
55 static private synchronized void dispose(SharedNameTable t) { |
56 freelist = freelist.prepend(new SoftReference<SharedNameTable>(t)); |
56 freelist = freelist.prepend(new SoftReference<>(t)); |
57 } |
57 } |
58 |
58 |
59 /** The hash table for names. |
59 /** The hash table for names. |
60 */ |
60 */ |
61 private NameImpl[] hashes; |
61 private NameImpl[] hashes; |