9293949596979899100101102
finally { if (in3 != null) { in3.restoreObjectTable(saveObjectTable); in3.restoreTraitsTable(saveTraitsTable); in3.restoreStringTable(saveStringTable); } } }