class SimpleTimestampFormat extends SimpleDateFormat {

  @Override
  public String toPattern() {
    return originalPattern;
  }

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

}