cleared ooplsa12/Tobin-HochstadtH12
Merge pull request #34 from arjunguha/oopsla12-samth

cleared ooplsa12/Tobin-HochstadtH12