Unused constructor in Workbench

[Felix Schumacher]

Hi all,

in Workbench there is a constructor Workbench(String, boolean), which 
seems not to be used anywhere and it ignores the second parameter.

Should we mark that constructor as deprecated?

Regards
 Felix