// PR#223
class DoubleClass {}
public class DoubleClass1 {
	public static void main(String[] ignored) {
	}
}