* @exception ParseException If the string is not a valid timestamp.
*/
static int[] parseLocalTimestamp( String str, LocaleFinder localeFinder, Calendar cal)
throws StandardException, ParseException
{
DateFormat timestampFormat = null;
if(localeFinder == null)
timestampFormat = DateFormat.getDateTimeInstance();
else if( cal == null)
timestampFormat = localeFinder.getTimestampFormat();
else
timestampFormat = (DateFormat) localeFinder.getTimestampFormat().clone();
if( cal == null)
cal = new GregorianCalendar();
else
timestampFormat.setCalendar( cal);
java.util.Date date = timestampFormat.parse( str);
return new int[] { computeEncodedDate( date, cal), computeEncodedTime( date, cal)};
} // end of parseLocalTimestamp