diff options
| -rw-r--r-- | known_oj_tags.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/known_oj_tags.txt b/known_oj_tags.txt index 91c56b0b645..ab95817827a 100644 --- a/known_oj_tags.txt +++ b/known_oj_tags.txt @@ -20,4 +20,5 @@ @spec @revised @jls -@jvms
\ No newline at end of file +@jvms +@systemProperty |