/* */ public synchronized Encoded[] getUTF8NameTable()
/* */ {
/* 660 */ if (this.utf8nameTable == null) {
/* 661 */ Encoded[] x = new Encoded[this.nameList.localNames.length];
/* 662 */ for (int i = 0; i < x.length; i++) {
/* 663 */ Encoded e = new Encoded(this.nameList.localNames[i]);
/* 664 */ e.compact();
/* 665 */ x[i] = e;
/* */ }
/* 667 */ this.utf8nameTable = x;
/* */ }
/* 669 */ return this.utf8nameTable;