Update the repository manager JAR files to 0.12.0.
Release version 0.9.0.