Details for jEdit version 4.1 final

jEdit version 4.1 final is part of the group jEdit.

There is currently no data available. Maybe the generator is not used on the crawled hosts anymore.