Use one version of EL API in all servlets