script for inferring minimal jdk annotations
(no existing annotations, no mutability, dumping everything)