Migrate jdom to jdom2

[git-volver]

Hi;

I am trying to upgrade the jdom2 lib in a project, but stopped at a class where jdom.FilterIterator is used, and now it is "final". How could I make it compatible? There is the code to update:

`package org.jdom;

import java.util.Iterator;

import org.jdom.filter.Filter;

// make public
public class PFilterIterator extends FilterIterator {
public PFilterIterator(Iterator<?> iterator, Filter filter) {
super(iterator, filter);
}
}`