Rename GitHub-related properties in POM
Remove obsolete GitHub download plugin in POM
Set version to 1.4.0 in POM
Merge branch 'release/1.4.0' into 'develop'
Set version to 1.5.0-SNAPSHOT in POM