Bump version numbers to 4.1.2-SNAPSHOT