public class AssTest1 {
	public static void main(String[] args) {
		Object o = null;
		//...
		assert o != null;
	} //main()
} //class AssTest1