Describe the bug
After merging PR #1140, I'm seeing a build issue on readthedocs.org: java is not available.
===========================================================================
| Unable to generate parsers: [Errno 2] No such file or directory: 'java' |
===========================================================================
Describe the bug After merging PR #1140, I'm seeing a build issue on readthedocs.org: java is not available.
Screenshot below: