Document JavaRequirement.

This commit is contained in:
Markus Reiter 2020-08-19 06:50:53 +02:00
parent eed1296d07
commit 0d96616daa

View File

@ -2,6 +2,9 @@
require "language/java"
# A requirement on Java.
#
# @api private
class JavaRequirement < Requirement
fatal true