jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java