Fix compiling of web-jsf-mixed