rename Bug30 to Bug30Spec