java/dictionary-generator/src/cz/frantovo/telco/dictionary/MappedNamespaceContext.java
changeset 47 b87ea854d920
parent 18 7a2eb4cb6ff1
child 151 a9f1ba451247
     1.1 --- a/java/dictionary-generator/src/cz/frantovo/telco/dictionary/MappedNamespaceContext.java	Mon Aug 12 22:40:38 2013 +0200
     1.2 +++ b/java/dictionary-generator/src/cz/frantovo/telco/dictionary/MappedNamespaceContext.java	Mon Aug 12 22:44:21 2013 +0200
     1.3 @@ -54,7 +54,7 @@
     1.4  	}
     1.5  
     1.6  	@Override
     1.7 -	public Iterator getPrefixes(String xmlns) {
     1.8 +	public Iterator<String> getPrefixes(String xmlns) {
     1.9  		return getKeysForValue(prefixMap, xmlns).iterator();
    1.10  	}
    1.11  }
    1.12 \ No newline at end of file