Eclipse

Eclipse is a popular IDE written in Java, made by IBM but open source.

A DocSynch plugin for Eclipse is planned. It will be the next implementation after the plugin for jEdit.