}
else
{
// use Source.getName() to construct the new VirtualFile name
String n = source.getName().replace('\\', '/') + ":" + script.getXmlLineNumber() + "," + script.getEndXmlLineNumber();
VirtualFile f = new TextFile(script.getText(), n, source.getParent(), MimeMappings.AS, source.getLastModified());
// line number map is for error reporting, so the names must come from error reporting...
LineNumberMap m = new LineNumberMap(source.getNameForReporting(), n);
m.put(script.getXmlLineNumber(), 1, (script.getEndXmlLineNumber() - script.getXmlLineNumber()));