%FILES%
usr/
usr/lib/
usr/lib/libz3java.so
usr/share/
usr/share/java/
usr/share/java/com.microsoft.z3.jar
usr/share/licenses/
usr/share/licenses/z3-java/
usr/share/licenses/z3-java/LICENSE.txt
