288 // not so good
289 return SIZE_64;
290 }
291 }
292
293 public int[] getKeySuccessors() {
294 return keySuccessors.clone();
295 }
293 }
296 }