XP Only: JButton.setBorderPainted() does not work with XP L&F

###@###.### 2002-12-20

J2SE Version (please include all output from java -version flag):
  JSDK 1.4.2b10

Does this problem occur on J2SE 1.3 or 1.4? Yes / No (pick one)
  No.

Operating System Configuration Information (be specific):
  Windows XP with Windows XP default desktop theme.

Hardware Configuration Information (be specific):
  Athlon 1200MHz, 512 MB RAM, Geforce 2MX graphics adapter.

Bug Description:
  The new Windows XP L&F (great work BTW) does not honor the
  JButton.setBorderPainted() if the Windows XP default desktop theme is
  used. This problem does not occur if desktop themes descending from the
  classic (Windows 2000) look are used.

Steps to Reproduce (be specific):
  Run the attached program(ButtonBorderTest.java) on Windows XP and observe
  that a border is painted around the button if the Windows XP default desktop
  theme is used even though the the borderPainted property is set to false.
  This does not happen with other desktop themes.