Fixed the dependent library problem on Windows 7

Conflicts:
	src/main/java/z3/Z3Wrapper.java