more Eclipse PDT tips