Avoids a NullPointerException in the texture manager when the deleter is null and adds a few override annotations