Keep lint happy: use current SimpleDateFormat API