Prepare for building on build.eclipse.org:
* Change all version numbers to 0.7.0
* Update / cleanup names (bundle & provider)
* Fix some configuration warnings (build.properties)
* Remove Java-Builder from ot.runtime (not needed)
diff --git a/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties b/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties
index 0d3d3a7..c88359b 100644
--- a/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties
+++ b/plugins/org.eclipse.objectteams.eclipse.monitor/build.properties
@@ -3,4 +3,5 @@
 bin.includes = plugin.xml,\
                META-INF/,\
                .,\
-               icons/
+               icons/,\
+               plugin.properties