public final void remove(String key) {
if (keys != null) {
keys.remove(key);
if (keys.isEmpty())
keys = null;
<BUG>}
}</BUG>
public final String get(String key) {
return keys == null ? null : keys.get(key);
}

public final void remove(String key) {
if (keys != null) {
keys.remove(key);
if (keys.isEmpty())
keys = null;
}
checkTagged();
}
public final String get(String key) {
return keys == null ? null : keys.get(key);
}
