Convert wikipedia articles to Docbook format (requires Java 6)