/* */ public void trimToSize()
/* */ {
/* 785 */ if (this.fast) {
/* 786 */ synchronized (this) {
/* 787 */ ArrayList temp = (ArrayList)this.list.clone();
/* 788 */ temp.trimToSize();
/* 789 */ this.list = temp;
/* */ }
/* */ }
/* 792 */ synchronized (this.list) {
/* 793 */ this.list.trimToSize();