string FormatSourceFile (string filename)
{
if (filename == null || filename.Length == 0)
return String.Empty;
if (filename.StartsWith ("@@"))
return "[internal] <!-- " + HttpUtility.HtmlEncode (filename) + " -->";
return HttpUtility.HtmlEncode (filename);
}