class SimpleTimestampFormat extends SimpleDateFormat {

  @Override
  public String toLocalizedPattern() {
    if ( compatibleToSuperPattern ) {
      return super.toLocalizedPattern();
    } else {
      StringBuffer pattern =
        new StringBuffer( super.toLocalizedPattern() );
      int placeholderPosition = replaceHolder( pattern, true );
      for ( int i = placeholderPosition; i <= endNanosecondPatternPosition - startNanosecondPatternPosition + placeholderPosition; i++ ) {
        pattern.insert( i, patternNanosecond );
      }
      return pattern.toString();
    }

  }

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

}