jaclaff - basic java binary instrumentation framework