Subject: Re: [bug#31774] [PATCH 07/22] gnu: Add java-qdox.

From: Danny Milosavljevic <[email-masked]>
Date: Sun, 10 Jun 2018 17:19:00 +0200

> +              ;; FIXME: The release at maven is pre-generated. The release at
> +              ;; github requires jflex.

That's fine.  I'd say "Note" instead of "FIXME" then.  There are other packages
where we use a specific server for similar reasons, and it's not bad.

LGTM!