[maven-release-plugin] prepare release Release/2.7.2Bump ide/ to version 2.7.2 (commit: 9a86d2e)
[maven-release-plugin] prepare for next development iterationBump ide/ to version 2.7.3-SNAPSHOT (commit: 2412c37)