fix bug when instrumenting Java source