Small fixes in Java Server Faces installation.