And now we fix src/gwt/build.xml since java's user preference class is
braindead and insists on writing where it is not allowed.
much thanks to http://www.allaboutbalance.com/articles/disableprefs/
diff --git a/src/gwt/build.xml b/src/gwt/build.xml
index e7d2418..ae3a331 100644
--- a/src/gwt/build.xml
+++ b/src/gwt/build.xml
@@ -25,6 +25,7 @@
+
@@ -109,6 +110,7 @@
+