@delete


Description:

public void @delete ()

Deletes the underlying preferences file.