If the attackers would have been indigenous people defending their homeland against occupiers, i.e. Pals vs. IDF, there would have been lethal response without any doubt. But as it were just jewish land-robbers, attacking their protectors, of course kid gloves were the instrument of choice.
Palestinian man suffers light wounds from rocks thrown by Jewish men in Jerusalem (Haaretz)
from the article: Netanyahu calls urgent meeting after rightists attack IDF base