/**
* Simplify creation of JXDatePickers.
*/
public static JXDatePicker createDatePicker( Date shown_date, Date lower_bound ) {
JXDatePicker picker = new JXDatePicker( shown_date );
picker.setFormats( new SimpleDateFormat( "MM/dd/yy" ),
new SimpleDateFormat( "MM/dd/yyyy" ),
DateFormat.getDateInstance( DateFormat.SHORT ) );
if ( shown_date != null ) picker.getMonthView().setFirstDisplayedDay( shown_date );
if ( lower_bound != null ) picker.getMonthView().setLowerBound( lower_bound );
Dimension pref_size = picker.getPreferredSize();
picker.setPreferredSize( new Dimension( pref_size.width + 4, pref_size.height ) );
return picker;
}