config.js is forwarded by servlet.