*.jar
!lib/linux/z3/bin/*.jar
*.java
*.json