frame.setSize( text_width, 300 );
    public static void main( String[] args )        throws Exception {        final JFrame frame = new HTMLTest( args );        frame.setDefaultCloseOperation( JFrame.EXIT_ON_CLOSE );        frame.pack();        frame.setSize( text_width, 300 );        frame.show();    }