keys.remove(key);
if (keys.isEmpty())
keys = null;
}
checkTagged();
<BUG>checkDirectionTagged();
}</BUG>
public String getName() {
return null;
}

keys.remove(key);
if (keys.isEmpty())
keys = null;
}
checkTagged();
checkDirectionTagged();
mappaintStyle = null;
}
public String getName() {
return null;
}
