Is this OK to delete like this? IntelliJ seems to tell me yes...