jTable resize_headers function added.