Java-to-EO-to-DBZ

Let's add a full pipeline into our build: Polystat/j2eo + this module.

As an input we should provide a large Java sample. A div by zero defect must be detected.

Let's make an automated unit test for this with JUnit. It's possible, since j2eo is a Java package: https://github.com/polystat/j2eo