[drmaa-wg] PBSPro/PBS placeholders