Tip: Debes habilitar los asserts usando -enableassertions al momento de ejecutar la clase.