wcet: support synchronized blocks if monitorexit is implemented in Java