SPIN/ID2T-toolkit: The official ID2T repository is now in GitHub and can be found in https://github.com/tklab-tud/ID2T @ 466346812cbca21ea05406fc4eff60c0301c42f4

Stefan Schmidt e37394d479 Fix: Type of pktsReceived is supposed to be INTEGER		6 years ago
..
src	e37394d479 Fix: Type of pktsReceived is supposed to be INTEGER	6 years ago