Assert1.after.java

class Assert1 {

  void check(String s) {
      assert s != null && s.length() != 0;
  }
}