Before build, Java sources are copied here from src/java in the root directory of this repo.