Расширение универсального абстрактного класса и корректного использования супер

public class Tool<AT extends AbstractThing> extends AbstractTool<AT> {

Другими словами, если вы расширяете или реализуете что-то с помощью универсальных шаблонов, не забудьте определить для них аргументы универсальных шаблонов.

Разве так не должно быть? Инструмент расширяет AbstractTool ?

Я думаю, что вы, вероятно, захотите:

   public abstract class AbstractTool<AT extends AbstractThing> {
        protected List<AT> ledger = new ArrayList<AT>();

        public AT getToolAt(int i) {
            return ledger.get(i);
        }

        // More code Which operates on Ledger ...

    }

    public class Tool extends AbstractTool<Thing> {
        // Tool stuff ...
    }

Поскольку Tool - это конкретный класс, его не нужно параметризовать.