那他违约了，发违约金了没