(Eclipse) Add "project.properties" (compile SDK 17, although 16 is required)