Le 28/04/2017 à 21:32, Tilman Hausherr a écrit :
Perfect. Thanks. (Unrelatedly, it’s very handy that the snapshots are available through Maven.) (Nitpicking: have you considered NavigableSet instead of SortedSet? But for my purpose SortedSet is enough.)/** * Get an ordered set of page indices having a page label range. * * @return set of page indices. */ public SortedSet<Integer> getPageIndices()Please give feedback whether it works for you.
Olivier
Tilman
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]

