DATE	STATUS	FILES		DESCRIPTION
===============================================================================
17jun13	TODO	imple'n/view/*	Consider using GroupLayout or SpringLayout
				where Box layouts are now used.  If we don't
				switch to either of these layouts (Group or
				Spring) we should at least have an example of
				how to use each vis a vis a Box layout, e.g.,
				for the ScheduleAppointmentDialog.

5aug0p9	TODO	spec/*.fmsl	Move these files to .deprecated, or otherwise
				deal with them.  The files referenced in the
				makefile have been renamed *.sl.  It's the
				remaining .fmsl files that need to be dealt
				with one way or another.

19dec04	TODO	admin.rsl	The postcond for NotifyUsers is a bit wobbly.
				Make sure it's strong enough and otherwise
				correct.  The issue is that of "no disturbance"
				to the udb' except for the addition of a the
				notification onto each user's notification
				queue.