JRuby: Patch für WEBrick