yet another revision for javabot

This includes fixes for karma, jsr operations, and a modification for botoperation to format responses.