Fix AugmentEffectiveStatement javadoc