[jdom-interest] Problems with getChildren() and java.util.List

[Mathias Lux]

Hi!

This should solve your problem:

-------------------------
import org.jdom.*;
import org.jdom.output.*;
import org.jdom.input.*;
import java.io.*;
import java.util.*;
...
Element root = doc.getRootElement();
java.util.List children = root.getChildren();
...
-------------------------

now your JDK knows exactly which List you want.


greetings,
Mathias