Install Flax? (install.flax): ${install.flax} Greenstone3 default servlet? (server.default.servlet): ${server.default.servlet}