[jbosstools-dev] retroactively tagged jbosstools-4.0.0.Final

Heya, In the 4.0 release we missed the crucial part of tagging the jbosstools git repos. Luckily Nick earlier had setup generation of a file that tracks which git commits participated in a build: http://download.jboss.org/jbosstools/builds/development/4.0.0.Final.core/... Thus I used that to retroactively tag all the below listed repositories with jbosstools-4.0.0.Final. Let me know if you spot something wrong or missing repository. https://github.com/jbosstools/jbosstools-base/commit/83bd0196dcfc2acf2531... https://github.com/jbosstools/jbosstools-birt/commit/01167b011cbb8fe3fdae... https://github.com/jbosstools/jbosstools-central/commit/51868fa03802ccde2... https://github.com/jbosstools/jbosstools-forge/commit/8e4152f8858024235a1... https://github.com/jbosstools/jbosstools-freemarker/commit/6aab590446043d... https://github.com/jbosstools/jbosstools-gwt/commit/538baff3d448deb713094... https://github.com/jbosstools/jbosstools-hibernate/commit/601cf167202ffe4... https://github.com/jbosstools/jbosstools-javaee/commit/524b37a6f1be43e5d5... https://github.com/jbosstools/jbosstools-jst/commit/8ff165f1ae116612d1dc9... https://github.com/jbosstools/jbosstools-openshift/commit/e23c75cf813463f... https://github.com/jbosstools/jbosstools-portlet/commit/791a41fe4e97a5ae3... https://github.com/jbosstools/jbosstools-server/commit/dad906367844c26f7f... https://github.com/jbosstools/jbosstools-vpe/commit/2809196fcde462a67e451... https://github.com/jbosstools/jbosstools-webservices/commit/3a785837a5a1a... https://github.com/jbosstools/jbosstools-xulrunner/commit/2edce933f7d64ef... Thanks, Max