Bump version numbers to 4.2-SNAPSHOT