Added jredmine plugin