asciiprooftree/project/build.properties