diff --git a/htroot/ViewProfile.java b/htroot/ViewProfile.java
index a2181b2d7..ecd46e0ef 100644
--- a/htroot/ViewProfile.java
+++ b/htroot/ViewProfile.java
@@ -39,6 +39,7 @@ import java.util.HashSet;
import java.util.Iterator;
import java.util.Map;
import java.util.Properties;
+import java.util.Set;
import net.yacy.cora.order.Base64Order;
import net.yacy.cora.protocol.RequestHeader;
@@ -128,7 +129,7 @@ public class ViewProfile {
}
Map.Entry entry;
// all known keys which should be set as they are
- final HashSet knownKeys = new HashSet();
+ final Set knownKeys = new HashSet();
knownKeys.add("name");
knownKeys.add("nickname");
// knownKeys.add("homepage");//+http