core_extensions: no need in patching JRuby anymore

They already fixed it: http://jira.codehaus.org/browse/JRUBY-6550