Purity annotations generator for Java