import java.util.LinkedHashMap;
import java.util.List;
import java.util.Map;
+import java.util.Map.Entry;
import java.util.Vector;
import com.stevesoft.pat.Regex;
// output database type
if (al.getProperties() != null)
{
- if (!al.getProperties().isEmpty())
+ for (Entry<Object, Object> prop : al.getProperties().entrySet())
{
- Enumeration key = al.getProperties().keys();
- Enumeration val = al.getProperties().elements();
- while (key.hasMoreElements())
- {
- out.append("#=GF " + key.nextElement() + " " + val.nextElement());
- out.append(newline);
- }
+ out.append("#=GF " + prop.getKey().toString() + " "
+ + prop.getValue().toString());
+ out.append(newline);
}
}