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

Change-Id: Ibc40a9d609f526d4c0a98267740902af51ac3c85
Signed-off-by: Adrian Sacchi <adrian.sacchi@bsiag.com>