Definition of Java5 annotations for the extended Fraclet programming model.