Thread safe use of java.util.SimpleDateFormat