bin.includes = META-INF/,\ lib/,\ com.microsoft.z3.jar