v3.0

These files were compiled with the EclipseGavab 3.0 version. We do not have a tag attached, though, so it is not clear even to us from which commit were they built. However, we want to make them public.