master change, split bundle

bundles/org.eclipse.ui.workbench/build.properties

diff --git a/bundles/org.eclipse.ui.workbench/build.properties b/bundles/org.eclipse.ui.workbench/build.properties
index ede7d5f..12a7a53 100644
--- a/bundles/org.eclipse.ui.workbench/build.properties
+++ b/bundles/org.eclipse.ui.workbench/build.properties
@@ -18,3 +18,5 @@
 src.includes = about.html
 source.. = Eclipse UI/,\
                        Eclipse UI Editor Support/
+
+# this changes is gratuitous