size += key.getHeadWord().length() + 2; sb.append("??"); } else { sb.append(key.getHeadWord());
if(key.needsHeadSet()){ ISenseKey oldKey = old.getSenseKey(); key.setHead(oldKey.getHeadWord(), oldKey.getHeadID());
cmp = this.getHeadWord().compareTo(key.getHeadWord()); if(cmp != 0) return cmp;