Adding JRuby 1.7.12
Merge pull request #552 from robdaemon/jruby_1712

Adding JRuby 1.7.12
Merge branch 'master' into switch-to-shasums
Replace MD5 checksum with SHA2 checksum