Directory empty, save this file. It must be here in order for Git to upload the
parent directory (WEB-INF).