
package ;     // CE 2 identifier expected for package name

/** @testcase PUREJAVA PR#723 missing package identifier */
public class MissingPackageCE {}
