private static void parseFrameworkConfig(Element framework) {
		List<?> children = framework.getChildren();
		Iterator<?> iterator = children.iterator();
		while(iterator.hasNext()){
			Element child = (Element)iterator.next();
			String fieldName = child.getName();
			
			// test whether this child has attributes 
			if(child.getAttributes().size() <= 0) { // this tag has no attributes
				continue;
			}
			String value = child.getAttributeValue("value"); 
			if(value == null) { // did not find 
				Main.fatalError("Error while parsing the configuration file: The entry '" + fieldName + 
				"' contains attributes, but none is called 'value'.");
			}
			Configuration.setFrameworkConfigurationEntry(fieldName, value);
		}
	}