Typos in Java spec

[胡亚捷 (Hu Yajie)]

Hi. I'd like to report that the latest Java spec contains the following
opening parentheses that are not closed.

[JLS]

Section 8.7, third paragraph from last:
    A static initializer introduces a static context (§8.1.3

Section 15.8.3, last paragraph:
    At run time, the class of the actual object referred to may be C or
    a subclass of C (§8.1.5.

[JVMS]

Section 4.7.27, first paragraph:
    The ModuleMainClass attribute is a fixed-length attribute in the
    attributes table of a ClassFile structure (§4.1.