Replace finalizers with PhantomReferences in Java API#648

Merged

wintersteiger merged 10 commits intoZ3Prover:masterfrom cheshire:no_finalizers

Jun 24, 2016

+525-1,242

Commits on Jun 16, 2016

Use constructors instead of static methods for Context.java.
cheshire
committed