fixed timezone parsing test to work with other jdks

Author: pchlupacek

mail/src/test/scala/spinoco/protocol/mail/header/ReceivedSpec.scala

@@ -45,13 +45,34 @@ object ReceivedSpec extends Properties("Received") {
   }
 
   property("single-entry.non-rfc") = protect {
-
-    verify(
-      "by filter0527p1iad2.sendgrid.net with SMTP id filter0527p1iad2-22563-5A8AD67A-5 2018-02-19 13:51:54.319416103 +0000 UTC"
-      , Received("by filter0527p1iad2.sendgrid.net with SMTP id filter0527p1iad2-22563-5A8AD67A-5", ZonedDateTime.of(2018, 2, 19, 13, 51, 54, 319416103, ZoneId.of("UTC")))
-      , "by filter0527p1iad2.sendgrid.net with SMTP id filter0527p1iad2-22563-5A8AD67A-5;\r\n Mon, 19 Feb 2018 13:51:54 +0000"
-    )
-
+    // Note: This test uses custom timezone normalization instead of the standard verify() helper
+    // because the input "+0000 UTC" is parsed as a named timezone (ZoneId.of("UTC") or ZoneId.of("Etc/UTC"))
+    // which varies across JDK versions and system configurations, while other tests with "+0000 (UTC)" 
+    // format produce consistent ZoneOffset.UTC. To ensure cross-platform compatibility, we normalize
+    // both the parsed and expected times to the same timezone representation for comparison.
+    import scodec.bits.{BitVector, ByteVector}
+    import scodec.{Attempt, DecodeResult}
+    import org.scalacheck.Prop._
+    
+    val encoded = "by filter0527p1iad2.sendgrid.net with SMTP id filter0527p1iad2-22563-5A8AD67A-5 2018-02-19 13:51:54.319416103 +0000 UTC"
+    val expectedText = "by filter0527p1iad2.sendgrid.net with SMTP id filter0527p1iad2-22563-5A8AD67A-5"
+    val expectedTime = ZonedDateTime.of(2018, 2, 19, 13, 51, 54, 319416103, ZoneOffset.UTC)
+    val expectedEncoded = "by filter0527p1iad2.sendgrid.net with SMTP id filter0527p1iad2-22563-5A8AD67A-5;\r\n Mon, 19 Feb 2018 13:51:54 +0000"
+    
+    val decoded = HeaderCodec.decode(ByteVector.view(encoded.getBytes).bits)
+    
+    decoded match {
+      case Attempt.Successful(DecodeResult(Received(text, time), BitVector.empty)) =>
+        // Normalize both times to UTC offset for comparison to handle JDK timezone variations
+        val normalizedActual = time.withZoneSameInstant(ZoneOffset.UTC)
+        val normalizedExpected = expectedTime.withZoneSameInstant(ZoneOffset.UTC)
+        
+        (text ?= expectedText) && 
+        (normalizedActual ?= normalizedExpected) &&
+        (HeaderCodec.encode(Received(expectedText, expectedTime)).map(_.bytes) ?= Attempt.Successful(ByteVector.view(expectedEncoded.getBytes)))
+      case other => 
+        falsified :| s"Expected successful decode but got: $other"
+    }
   }
 
   property("single-entry.non-rfc-date") = protect {