> I'd like to draw attention to my second question while we are still here... > should we limit the OpenJDK distribution (for building)? My worry here is, > that minor versions could depend on the distributor.
This is a valid concern but it'd take some trial and error to verify which version numbers are used by packaging openjdk for various releases. Realistically, the JDK part (standard library) is nearly the same in all/ most of them? The least that could be done is to apply the restriction to just a particular vendor/ release and emit a warning for unrecognized ones. Dawid --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org For additional commands, e-mail: dev-h...@lucene.apache.org