/**
 * A user of a resource.
 *
 * @author Franck van Breugel
 */
public class User extends Thread {
	/**
	 * A resource shared by all users.
	 */
	private static Resource resource = new Resource();

	/**
	 * Acquires and releases the shared resource.
	 */
	public void run() {
		resource.acquire();
		resource.release();
	}
}