Fix bugs in ObjCCallback, introduced by VirtualMachine change. Do some code cleaning. Fix VirtualMachine.