switch to new version of JFilter (thanks romain !)