+// /// BH OUCH!
+// /*
+// * extend the array to make room for one more
+// */
+// // TODO use an ArrayList instead
+// int j = dbrefs.length;
+// List<DBRefEntry> temp = new DBRefEntry[j + 1];
+// System.arraycopy(dbrefs, 0, temp, 0, j);
+// temp[temp.length - 1] = entry;
+//
+// dbrefs = temp;
+
+ dbrefs.add(entry);