Remove the mention that resetSourceDirs() is a workaround, as the mentioned ticket was closed as WONT FIX...