tcltest::test 7.4.2-1 {Create a public class in the default package} {
    compile [saveas T742_1a.java {
public class T742_1a {}
class T742_1b extends T742_1a {}
    }]
} PASS

tcltest::test 7.4.2-2 {Extend a class in the default package with
        another class in default package} {
    saveas T742_2a.java "class T742_2a {}"
    compile [saveas T742_2b.java {
class T742_2b extends T742_2a {}
    }]
} PASS

tcltest::test 7.4.2-3 {Extend a class in the default package with
        another class in default package} {
    compile [saveas T742_3a.java "class T742_3a {}"]
    delete T742_3a.java
    compile -classpath . [saveas T742_3b.java {
class T742_3b extends T742_3a {}
    }]
} PASS

tcltest::test 7.4.2-subpackage-1 { the unnamed package has no subpackages.
        Therefore, in a compilation unit in the unnamed package, a member type
        does not conflict with named packages } {
    compile [saveas java.java "class java {}"]
} PASS

tcltest::test 7.4.2-subpackage-2 { the unnamed package has no subpackages.
        Therefore, in a compilation unit in the unnamed package, a member type
        does not conflict with named packages } {
    compile [saveas p1.java "class p1 {}"] [saveas p1/T742s2.java {
package p1;
class T742s2 {}
    }]
} PASS

