Update to JRuby v1.7.12