//
// This method is also responsible for distinguishing between
// ActionScript and JavaScript source files. For this purpose
// file name extensions may be used.
//
extensionMap.copyRequiredFiles(
SessionManager.getInstance().getSourceFolder(), // destination for extensions
featureID);
}
//