10201021102210231024102510261027
/** Verifies that a certain condition holds */ private static final void V5Dassert(boolean b) throws BadFormException { if (!b) { throw new BadFormException("Warning: assert failed"); } }