What is your position on http://semver.org/ ? With Kotlin we have the case that the API remains in tact but the Java API changes. This is probably most notable with adding parameters to functions with default values. Should such changes that only affect a specific backend influence the version or should we only consider the Kotlin front end?