Don't use compact constructor syntax for Manifest.

There's a JDK bug where it doesn't work.

bosk-mongo/src/main/java/io/vena/bosk/drivers/mongo/Manifest.java

@@ -13,10 +13,15 @@ public record Manifest(
 	Optional<EmptyNode> sequoia,
 	Optional<PandoFormat> pando
 ) implements StateTreeNode {
-	public Manifest {
+	public Manifest(Integer version, Optional<EmptyNode> sequoia, Optional<PandoFormat> pando) {
+		// Note: this could be a compact constructor, but then it won't work:
+		// https://github.com/adoptium/adoptium-support/issues/1025
 		if (sequoia.isPresent() == pando.isPresent()) {
 			throw new IllegalArgumentException("Exactly one format (sequoia or pando) must be specified in manifest");
 		}
+		this.version = version;
+		this.sequoia = sequoia;
+		this.pando = pando;
 	}
 
 	public record EmptyNode() implements StateTreeNode { }