Fixed compilation errors in the rascal-eclipse with respect to the new
pdb types.