I see a lot of test failures in generated failing_test file, and they're some java compilation errors and not related to this bug at all. --- ...