Removing dead code

Authored by thomasfischer on Jun 23 2019, 9:06 PM.