Ejemplo de BDD con JBhave