- Zinnen in postcondities in tegenwoordige tijd gezet.
  Met postcondities zeg je de gebruiker eigenlijk wat de stand van zaken
  is na het uitvoeren van de methode, niet wat er gaat gebeuren als je
  de methode uitvoert.
- De (in)formele specificaties bij de @throws aangepast.
- Bij de preconditie van changeSize had je iets van
  0 <= new.getSize() <= MAX_SIZE gezet. Ik denk dat het beter is dat je
  getSize() + numberOfBytes zet omdat je met new.getSize() al aanneemt
  dat de methode al uitgevoerd is.