Checker framework - IGJ immutability
Checker framework - Nullness
Update checker framework maven coordinates