cosmetic change of RubyModule.java