diff --git a/.classpath b/.classpath
index 1cb896603..c36811f6e 100644
--- a/.classpath
+++ b/.classpath
@@ -99,5 +99,9 @@
+
+
+
+
diff --git a/build.xml b/build.xml
index 729ebd0f0..5195f29eb 100644
--- a/build.xml
+++ b/build.xml
@@ -217,6 +217,10 @@
+
+
+
+
diff --git a/htroot/ViewFile.html b/htroot/ViewFile.html
index c31d3d3ac..3481c4690 100644
--- a/htroot/ViewFile.html
+++ b/htroot/ViewFile.html
@@ -103,7 +103,7 @@ function updatepage(str) {