Build #42

Parameters
 VERSION
Set a version to push this build to /home/data/httpd/download.eclipse.org/datatools/updates/, eg., 1.14.100-SNAPSHOT or 1.14.100 If blank, do not push.