Removed class definition again - it is only relevant for the annotations, not the actual spec