Extract JavaDoc with Python

I'd like to integrate the documentation of a Java/Android project in a Trac instance. As Trac is written in Python I need a way to extract the JavaDoc comments from within Python.

Can anyone give me some hints how to accomplish this? I've thought of these two possibilities but I don't know if there are any libraries that can do this:

• Parse the whole Java source.
• Let JavaDoc do the job and somehow extract the docs from its output

I came up with the following solution: I've found something called json-doclet which is kind of a Plugin for Javadoc that outputs a JSON which should be reasonably easy to work with.