UML2RTSJ: migration of the libraries (annotations and framework)