We should probably try to have similar GPL headers as the rest of the code (I see that the EclipseDataDoctor is also missing this :-))