Details for JEdit4.2

JEdit4.2 is part of the group jEdit.

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