bug 441610: Release- and Build-Management for Mars

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

update version 4.1.0 --> 4.2.0