diff --git a/.classpath b/.classpath
index 5914b4c04..9ba33e500 100644
--- a/.classpath
+++ b/.classpath
@@ -37,6 +37,7 @@
+
diff --git a/build.xml b/build.xml
index 35280ef78..9d208e134 100644
--- a/build.xml
+++ b/build.xml
@@ -196,12 +196,13 @@
-
+
+
-
+
profile = null;
if (hash.equals("localhash")) {
// read the profile from local peer
final Properties p = new Properties();
@@ -84,8 +82,8 @@ public class ViewProfile {
} catch(final IOException e) {} finally {
if (fileIn != null) try { fileIn.close(); fileIn = null; } catch (final Exception e) {}
}
- profile = new HashMap();
- profile.putAll(p);
+ profile = new HashMap();
+ for (Map.Entry