* @param moduleName the name of the module.
* @return true if the specified module is a testing module; false otherwise.
*/
private boolean isTestingModule(final ModuleName moduleName) {
final ResourceStore sourceStore = workspace.getSourceManager(moduleName).getResourceStore();
final CALFeatureName moduleFeatureName = CALFeatureName.getModuleFeatureName(moduleName);
final ResourceName resourceName = new ResourceName(moduleFeatureName);
// If the source store doesn't know about this module, then it is not a testing module
// (because it wasn't loaded from disk)
if (!sourceStore.hasFeature(resourceName)) {