In Json4s, java.text.SimpleDateFormat is used for parsing timestamps, but to handle microseconds, you need to use java.time.format.DateTimeFormatter, which was introduced in Java 8.
To handle microseconds, you will need to write custom parsing logic.