regarding the twitter checkstyle -> pants checkstyle how much twitter stuff was there left that you had to rip out?