Are the Galahad-dev Archives broken or has indeed nobody ever posted to this mailing list until now? >From https://mail.openjdk.org/pipermail/galahad-dev : No messages have been posted to this list yet, so the archives are currently empty.