Hmm. I'd prefer to keep our implementation for now, since with the libgdx Timer we lose control of when time triggers react (this is directly related with the long discussion we had yesterday about order execution of triggers)