JAIN SLEE RA Type Activity Objects definition in EclipSLEE