print("SHORT NAME :: " + name);
Options.LOG.inform("Write Source file : " + Options.target+"/symbols/src/" + name);
print("SHORT NAME :: " + name);
Options.LOG.inform("Write Source file : " + Options.target+"/symbols/src/" + name);
File.write(Options.target+"/symbols/src/" + name,
'<html><head>' +
'<title>' + sourceFile + '</title>' +
File.write(Options.target+"/symbols/src/" + name,
'<html><head>' +
'<title>' + sourceFile + '</title>' +