the tIDE java IDE
a tiny java integrated development environment, written in java
actual tIDE version 3.01d of Jan2021
tide.jar (src, manual, release notes) (old versions)
new google site (2021-12): sorry, seems that jar and zip cannot be embedded anymore :-(.
LINK: tide.jar
alternate sites
https://sourceforge.net/projects/tide/
(new2021) https://github.com/stefchaud/tide
other tools
TiRest jar to extract zips & compare & much more