// Check whether the module name exists, and if so confirm that the user wished to clobber.
// This goes to the workspace source manager -- so it's a bit hacky.
// We can't just ask the workspace if it has the module though, since it might be the case where the workspace isn't
// using a module in the nullary case.
if (getWorkspace().getSourceManager(generatedModuleName).getResourceStore().hasFeature(
new ResourceName(CALFeatureName.getModuleFeatureName(generatedModuleName)))) {
// TODOEL: Ideally, if the user does not want to clobber the existing module, we should
// go back to the dialog with the existing inputs.
String warningTitle = getResourceString("WarningDialogTitle");