Try different arrangements of "synchronized" to exercise the structured
lock checks in the bytecode verifier.