Make jruby happy