Removed unused Phockito stuff