549550551552553554555556557558559
ListPeer peer; do { peer = (ListPeer)this.peer; if (peer != null) { peer.select(index); return; } synchronized(this) {
566567568569570571572573574575576
768769770771772773774775776777778
*/ public synchronized void select(int index) { ListPeer lp = (ListPeer) getPeer(); if (lp != null) lp.select(index); if (selected != null) { boolean found = false; for (int i = 0; i < selected.length; i++)