Naming convention: Server filenames start with capital letters

Change-Id: If112bff1c8ee06d68fccc9770ee6b7730b8ca2a8
Merge "Naming convention: Server filenames start with capital letters"