Greg Lewis ha scritto: > I've committed the same fix Alex applied to the main eclipse port. The difference is that eclipse-devel installs 600 files not only in plugins/, but also in dropins/jdt/plugins/. We should add that, too, or simply find in PORTDESTDIR. -- Alex Dupre