The implementation of drawRect in java.awt.Graphics draws the endpoints
twice. This results in incorrect results in xor drawing mode.

My guess is that all the native implementations of awt override this method
so that no-one ever notices, but it's still not pleasant.
[a 22 May 96]