[silver:compiler:translation:java] (skel) Contents of [silver:compiler:translation:java]: [silver:compiler:translation:java:core] [silver:compiler:translation:java:driver] [silver:compiler:translation:java:type] Defined in this grammar: