}
public static Properties readXmlJavaSettingsFile(File file, Properties properties, String profile) {
int defaultSize = properties.size();
if (!file.exists()) {
throw new FileDoesNotExistsException(file);
}
if (profile == null) {
throw new IllegalStateException("loading of profile settings failed, selected profile is null");
}
boolean profileFound = false;