Description
After GIRAPH-36, in a couple of places Vertex was left instead of BasicVertex. To achieve the fix a BasicVertex was extended with a new boolean isHalted(boolean state) method that totally hides boolean halt field. I believe this unifies the voteToHalt() and isHalted() methods totally hiding the halting management of Vertices (before it was relying on the existence of boolean halt field).