JButton while pressed.

Attached please find a simple single-file
application that has JButtons. When they are pressed, they are drawn with
two dashed-line rectangles (at least under Windows). The inner rect -- the
focus rect -- should be dashed. The outer rect -- the button border --
should be solid.