Utvecklingsmiljö för Java med stöd för kontraktsprogrammering