public int size() { int n = objs_size; if (n < 0) {   System.err.println("negative objs_size: "+n); n = 10; } return n;
public final int size() { return objs_size;
  public int size() {    int n = objs_size;    if (n < 0) {      // FIXME some bug here, where "objs.size()" is off.      // Need to track this down!       System.err.println("negative objs_size: "+n);       n = 10;    }    return n;  }