Dalvik requires snychronized methods to explicitly enter a monitor state as a first action inside the body and leave it as a last action (try/finally construct). This means that simply flagging a method as synchronized is not sufficient in Dalvik. I added a transformer to enforce this.