Details
Description
The method getSizedIterator(Iterator<T>, long) in the type BTreeManager is not applicable for the arguments (Iterator, long)
...because of missing cast of properties to Iterator<Property>.
(I don't get why Eclipse thinks that to be an error, but will slightly refactor anyway)