For the record, the bug report is https://issues.apache.org/jira/browse/DIRSERVER-1520
- Minor bug in setup: JRE instead of JDK Je suis la poubelle
- Re: Minor bug in setup: JRE instead of JDK Emmanuel Lecharny
- Re: Minor bug in setup: JRE instead of JDK Je suis la poubelle
- Re: Minor bug in setup: JRE instead of JD... Je suis la poubelle
- Re: Minor bug in setup: JRE instead of JD... Emmanuel Lecharny
