JDT-extensiepunten

De volgende extensiepunten kunnen worden gebruikt om de mogelijkheden uit te breiden van de JDT-infrastructuur: