jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Javaprogram, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
Pinnus is a project management tool for Extremme Programming. The program offers
options to control stories, iterations and participates of a project.
It is based on Eclipse Rich Client Platform and uses HSQLDB database .