This is a snapshot of the development jdtcore.jar built on 04/04/03
