IvySettings ivySettings = new IvySettings();
if (javaProject != null) {
ivySettings.setBaseDir(javaProject.getProject().getLocation().toFile());
}
try {
ivySettings.load(url);
ivySettingsLastModified = 0;
} catch (ParseException e) {
IvyDEException ex = new IvyDEException("Parsing error of the Ivy settings",
"The ivy settings file '" + settingsPath + "' could not be parsed ("
+ this.toString() + ")", e);