public final int size(){
  if (GWT.isScript()) {
    return jsArray.size();
  }
 else {
    return javaArray.size();
  }
}

public final int size ( ) { if ( GWT . isScript ( ) ) { return jsArray . size ( ) ; } else { return javaArray . size ( ) ; } }
return the list size
