{"shas":[["dd22207a372755f6af2cd8b27580df36cf4bd6e2","e02ae42d06f2a06c89610f2a86119115e90a71fe@headius.com","Fix JRUBY-5724: jrubyc generates classes with the wrong names\n\nI reverted to the old mangling but still putting .class alongside .rb. I think this may balance both worlds ok for now.","Charles Oliver Nutter"]],"ref":"refs/heads/master","size":1,"head":"dd22207a372755f6af2cd8b27580df36cf4bd6e2","push_id":35869387}