Additional files to be deployed into our Sakai Tomcat.