private void setFinal(ICPPClassType ct) throws CoreException {
   getDB().putByte(record + FINAL, (byte) (ct.isFinal() ? 1 : 0));
 }