if (keys == null)
keys = new HashMap<String, String>();
keys.put(key, value);
}
checkTagged();
<BUG>checkDirectionTagged();
}</BUG>
public final void remove(String key) {
if (keys != null) {
keys.remove(key);

if (keys == null)
keys = new HashMap<String, String>();
keys.put(key, value);
}
checkTagged();
checkDirectionTagged();
mappaintStyle = null;
}
public final void remove(String key) {
if (keys != null) {
keys.remove(key);
