Bug in Java gerepareerd met formele methoden CWI - Engineersonline.nl