return already;
}
strings.put(value, string);
return string;
}
<BUG>public void intern(CstNat nat) {
</BUG>
intern(nat.getName());
intern(nat.getDescriptor());
}

return already;
}
strings.put(value, string);
return string;
}
public synchronized void intern(CstNat nat) {
intern(nat.getName());
intern(nat.getDescriptor());
}
