CVC4/CVC4 — pull request #13 by teh (2014-03-02 16:27:07+00:00)
Title: Guard java-specific swig code with SWIGJAVA.

Without this building just the python bindings will fail.