Java support has been added to the LDRA software tool suite for automated verification, source code analysis, and testing. The support enables the same software tools across the entire application, ...