The spec of setProperties() method in java.awt.image.CropImageFilter states:
"Passes along the properties from the source object after adding a property
indicating the cropped region. "
However, from looking at the source code of this method, it calls
the setProperties() method of its parent class -- ImageFilter, which
according to its spec adds another property indicating the ImageFilter class.
Therefore, two properties instead of one are added. The spec needs to
make clear of it.
The same problem occurs on the spec of