13-08 trouble with awt.button.setSize()