Using multiple tags to run in karate options

Let's say I have 4 feature files which is written in karate version 0.9.0. I am tagging feature 1 with @F1, feature 2 with @F2, feature 3 with @F3, feature 4 with @F4.

On the other hand, I have a runner class which is placed in the root all of those feature files. Now I want to run @F1, @F2 AND @F3 but not @F4 tags.

I am using KarateOptions as below:

@KarateOptions(tags = {"@F1", "@F2", "@F3", "~@F4"} )

Apparently, I am doing something wrong since there are no any output is being appeared in my cucumber-html-reports file.

Thanks in advance.