Mark Wielaard wrote: > - Configure should detect missing openjdk src zip. > Currently the build just goes out and tries to download a new copy > even if the user might already have the (80MB!) zip around, but in the > wrong dir. Fixed! Lillian