QuickSpec: Remove unused class declaration