Я наткнулся на класс, расширяющий java.io.file . Хотя это выглядело очень своеобразно для меня, я не смог найти никакой документации о том, должен ли класс файла быть переопределенным. Если да, где?
Подробнее здесь: https://stackoverflow.com/questions/797 ... overridden