Well, it looks like Avast! is supposed to be able to look inside archives, so I wonder why it didn't catch those two trojans, Java/ByteVerify and Java/OpenStream, while AVG did.
Regardless, I think I'll stick with Avast! for the moment because it has the P2P Shield and Network Shield. I'll just use AVG for periodic manual scans.
Do any of you have any ideas why Avast! wasn't able to look inside ZIP files to find these trojans?