From 3f548c7610b43104499d9ff64726b3d2c00a7f51 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 27 Nov 2012 19:01:30 +0000
Subject: [PATCH] Java API: .gitignored auto-generated files and java class
 files.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 .gitignore | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 505601597..95ecec810 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,9 @@
 *.cmi
 *.cmxa
 ocamlz3
+# Java generated files
+*.class
+*.jar
 # Emacs temp files
 \#*\#
 # Directories with generated code and documentation
@@ -49,5 +52,6 @@ src/api/python/z3consts.py
 src/api/python/z3core.py
 src/ast/pattern/database.h
 src/util/version.h
-src/api/java/Z3Native.c
-src/api/java/Z3Native.java
\ No newline at end of file
+src/api/java/Z3Native.cpp
+src/api/java/Z3Native.java
+src/api/java/enumerations/*.java