public Vector<String> toStringVector(int index) {\r
Vector<String> v = new Vector<String>();\r
v.addElement(getSourceFiles(index).getFilename());\r
+ v.addElement(getSourceFiles(index).getTagName());\r
+ v.addElement(getSourceFiles(index).getToolCode());\r
+ v.addElement(getSourceFiles(index).getToolChainFamily());\r
return v;\r
}\r
}\r