Removed duplicate core import

Knoplerfish that I am using for a project doesn't like duplicate imports... And I see no reason for it to be there.
Merge pull request #2 from WaDelma/patch-1

Removed duplicate core import