#if empty, workspace defaults are used
#Thu Aug 18 22:07:07 CEST 2005