Remove pointless commented-out 'virtual' keywords

Nobody knows any more what such a metacomment was supposed to mean, if
it had any deeper meaning at all.

Change-Id: Iefb4fedc7b833c09ee0e39b3eb28202229323ef2