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