Deleting “Java options”