bug 441610: Release- and Build-Management for Mars

https://bugs.eclipse.org/bugs/show_bug.cgi?id=441610

update version 4.2.0 --> 4.3.0