*/
public static String[] translatePath(Project project, String source) {
final Vector result = new Vector();
if (source == null) return new String[0];
PathTokenizer tok = new PathTokenizer(source);
StringBuffer element = new StringBuffer();
while (tok.hasMoreTokens()) {
element.setLength(0);
element.append(resolveFile(project, tok.nextToken()));
for (int i=0; i<element.length(); i++) {
translateFileSep(element, i);
}
result.addElement(element.toString());
}