Eclipse Java Development Tools (JDT) libraries