This is the first time that I\'ve seen this kind of syntax :
// class Node public class Node { ... ... } public class Otherclass { ... } Otherclass gra
It's a for each loop. You could also write it like this:
for(int i = 0; i < successors.size(); i++) { Node son = successors.get(i); }
Though the only time I'd personally do that is when the index is needed for doing something other than accessing the element.