Workspace of autoplot-jar-stable-2017 on Built-In Node

autoplot / Autoplot / temp-classes / org / checkerframework / checker / lock / qual /

	EnsuresLockHeld.class	Jul 1, 2020 1:36:54 PM	926 B	view
	EnsuresLockHeld$List.class	Jul 1, 2020 1:36:54 PM	855 B	view
	EnsuresLockHeldIf.class	Jul 1, 2020 1:36:54 PM	981 B	view
	EnsuresLockHeldIf$List.class	Jul 1, 2020 1:36:54 PM	874 B	view
	GuardedBy.class	Jul 1, 2020 1:36:54 PM	1.16 KB	view
	GuardedByBottom.class	Jul 1, 2020 1:36:54 PM	839 B	view
	GuardedByUnknown.class	Jul 1, 2020 1:36:54 PM	547 B	view
	GuardSatisfied.class	Jul 1, 2020 1:36:54 PM	800 B	view
	Holding.class	Jul 1, 2020 1:36:54 PM	633 B	view
	LockHeld.class	Jul 1, 2020 1:36:54 PM	582 B	view
	LockingFree.class	Jul 1, 2020 1:36:54 PM	537 B	view
	LockPossiblyHeld.class	Jul 1, 2020 1:36:54 PM	911 B	view
	MayReleaseLocks.class	Jul 1, 2020 1:36:54 PM	545 B	view
	ReleasesNoLocks.class	Jul 1, 2020 1:36:54 PM	545 B	view
(all files in zip)