Definition of Java5 annotations for the Fraclet programming model.