class SimpleTimestampFormat extends SimpleDateFormat {

  @Override
  public void applyLocalizedPattern( String pattern ) {
    DateFormatSymbols formatSymbols = super.getDateFormatSymbols();
    init( pattern, formatSymbols, true );
  }

  public  SimpleTimestampFormat( String pattern );
  public  SimpleTimestampFormat( String pattern, Locale locale );
  public  SimpleTimestampFormat( String pattern, DateFormatSymbols formatSymbols );

}