MemoryResource(String n, int pageBudget) { name = n; gcLock = new Lock("MemoryResource.gcLock"); mutatorLock = new Lock("MemoryResource.mutatorLock"); this.pageBudget = pageBudget; allMR[allMRCount++] = this;
MemoryResource(String n) { this(n, 0);
  MemoryResource(String n, int pageBudget) {    name = n;    gcLock = new Lock("MemoryResource.gcLock");    mutatorLock = new Lock("MemoryResource.mutatorLock");    this.pageBudget = pageBudget;    allMR[allMRCount++] = this;  }