fork(1) download
  1. import java.time.ZonedDateTime;
  2. import java.time.format.DateTimeFormatter;
  3. import java.util.Locale;
  4. import java.util.stream.Stream;
  5.  
  6.  
  7. public class Main {
  8. public static void main(String[] args) {
  9. DateTimeFormatter dtf = DateTimeFormatter.ofPattern("EEE MMM dd HH:mm:ss [O][z] uuuu", Locale.ENGLISH);
  10. // Test
  11. Stream.of(
  12. "Sat Aug 12 12:51:34 GMT+01:00 2023",
  13. "Fri Aug 18 12:34:50 EDT 2023"
  14. ).forEach(s -> System.out.println(ZonedDateTime.parse(s, dtf)));
  15. }
  16. }
Success #stdin #stdout 0.39s 45572KB
stdin
Standard input is empty
stdout
2023-08-12T12:51:34+01:00
2023-08-18T12:34:50-04:00[America/New_York]