[4.2] Workbench : add missing docblock to writeSupportFile