After tagging 2.4.0.Final release in github, update master branch to version 2.4.1-SNAPSHOT and update old jenkins builds accordingly.