Developing honest Java programs with Diogenes