On 2011-12-13 15:50, Dr Andrew John Hughes wrote: > One suggestion; if the javac server isn't working at present, wouldn't it make sense > to have it turned off by default so users can just run configure without any options? > It's easy enough to flip it back when the server is ready to go Good point. Fixed now. /Erik