synchronize all use of SimpleDateFormat