/**
  * Gets the largest constant ID + 1
  *
  * @return the ID
  */
 public int getNextEntryID() {
   int max = 0;
   for (TraceConstantTableEntry entry : entries) {
     int id = entry.getID();
     if (id > max) {
       max = id;
     }
   }
   return max + 1;
 }
 /**
  * Gets the entry which has given ID
  *
  * @param id the id
  * @return the entry or null
  */
 public TraceConstantTableEntry findEntryByID(int id) {
   TraceConstantTableEntry retval = null;
   for (TraceConstantTableEntry entry : entries) {
     if (entry.getID() == id) {
       retval = entry;
       break;
     }
   }
   return retval;
 }