[tor-commits] [flashproxy/master] Make some changes suggested by flex-pmd.