*     try {
 *       value = newValue;
 *     } finally {
 *       monitor.leave();
 *     }
 *   }
 * }
 * }</pre>
 *
 * @author Justin T. Sampson
 * @author Martin Buchholz
 * @since 10.0
 */
@J2ktIncompatible
@GwtIncompatible
@SuppressWarnings("GuardedBy") // TODO(b/35466881): Fix or suppress.
@ElementTypesAreNonnullByDefault
public final class Monitor {

palace.museum paleo.museum palermo.it palmas.br palmsprings.museum panama.museum panasonic panel.gg pantheonsite.io parachuting.aero paragliding.aero parallel.jp parasite.jp paris paris.eu.org paris.museum parliament.nz parma.it paroch.k12.ma.us pars parti.se partners parts party pasadena.museum passagens passenger-association.aero patria.bo pavia.it pay pb.ao pb.gov.br pb.leg.br pc.it pc.pl pccw pcloud.host pd.it pdns.page pe pe.ca pe.gov.br pe.it pe.kr pe.leg.br pecori.jp peewee.jp penne.jp penza.su...