Followup 8c71904: use getter for availableTools

This property was made lazy-initialized in the meantime,
so we can't access it directly any more.

Change-Id: I6bf79d85e1fdd837da1a620169de34e1cd814bbe