Really fix "unreachable code" warning
Really fix "unreachable code" warning

I attempted to fix this in 17ce8ce """Get rid of "fix unreachable code"
warning.""" but introduced a bug instead? (AnyRef after Any.)

debiki/debiki-server-old,debiki/debiki-server-old,debiki/debiki-server-old,debiki/debiki-server-old