module Java-15
imports
languages/java-15/Main
exports
context-free start-symbols
Anno
AnnoDec
Block
BlockStm
ClassBodyDec
ClassMemberDec
CompilationUnit
Expr
FormalParam
Id
InterfaceDec
InterfaceMemberDec
Literal
PackageName
Stm
Type
TypeDec
TypeVar
TypeName