added doxygen comments in workbench.h