use "edu.berkeley.cs.shark"
Merge pull request #277 from harveyfeng/master

Use "edu.berkeley.cs.shark"