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