- replaced "Interval<>" by "Interval<int>" to
increase code readablilty
Authored by: thzs 2007-06-09
Parent: [r593]
Child: [r595]