Class FilePosition<P extends Element<P>>