The static semantics uses typing rules to fix the type-spoofing bug in JDK 1.2 and 1.3.

• 静态语义采用类型规修正了JDK1.；2和1