// final IPath path = file.getFullPath();
final IPreferenceStore store = ExternalToolsPlugin.getDefault()
.getPreferenceStore();
- final String filename = fFileToParse.getLocation().toString();
+ final String filename = fFileToParse.getFullPath().toString();
final String[] arguments = { filename };
final MessageFormat form = new MessageFormat(store