(Xronos) making xronos GPL 3 licence compatible with eclipse by addining
a additional permission.