Using contracts, random verification, and formal verification methods to ensure the integrity of software blocks, I believe. There's still dozens of us out there, heh.
A review with screenshots : https://www.javaworld.com/article/2076574/developer-tools-id...