All DeltaSpike examples now target WFK, since SWR will be supported