Jalview Builds - Gradle Develop Build - bug-JAL-4107_jalviewjs_fixes_on_2_12_branch - Clover and Tests / build / generated / sources / headers
