Here and below, `1.8.0-SNAPSHOT` or `1.7.1-SNAPSHOT`?