JADEx (Java Advanced Development Extension) is a safety layer that makes Java safer by adding Null-Safety and Final-by-Default semantics without modifying the JVM.


GitHub: https://github.com/nieuwmijnleven/JADEx

Tutorial


Making Your Java Code Null-Safe without Rewriting it
Applying JADEx to a Real Java Project: Making OntheGoDataBase...