No, you will be just fine if you just delete it and upload it back.

Also you can use plugin Easy Theme and Plugin Upgrades, which allows to upload jevelin.zip file and update to latest version.