customizing woocommerce product attributes file

Not sure if you're versed in woocommerce but I'm trying figure out why nothing happens to the front-end attributes options on the single product page when I make changes to the attributes file (product-attributes.php), even when it's edited in its original plugin location. I can remove parts or all of the code within that file and nothing changes on the front end. Might you know why? Are changes not suppose to happen?

Note I've contacted woothemes but as always they're snails when it comes to customer service. Hopefully you guys can help.