public synchronized Encoded[] getUTF8NameTable() {
if(utf8nameTable==null) {
Encoded[] x = new Encoded[nameList.localNames.length];
for( int i=0; i<x.length; i++ ) {
Encoded e = new Encoded(nameList.localNames[i]);
e.compact();
x[i] = e;
}
utf8nameTable = x;
}
return utf8nameTable;