adds a workaround for a bug in PHPMD