REST API extensions for Eclipse PDT plugin