result.setLenient( false );
	public static DateFormat getDateInstance( int dateStyle, ULocale locale )	{		String key = String.valueOf( dateStyle ) + ":" + locale.getName( );		//DateFormatIdentifier key = new DateFormatIdentifier(dateStyle,0,locale) ;		DateFormat result = (DateFormat) dateFormatHolder.get( key );				//This code block is added to solve the problem that the uncached datetimeformatter being used			if ( result == null )		{			synchronized ( dateTimeFormatholder )			{				result = (DateFormat)dateFormatHolder.get( key );				if ( result == null )				{					result = DateFormat.getDateInstance( dateStyle, locale );					dateFormatHolder.put( key, result );				}			}		}		return result;	}