Merge pull request #43 from svenfeld/add_change_to_trigger_action

Update _index.md

content/documentation/crysl/_index.md

@@ -13,7 +13,7 @@ Both [CogniCrypt<sub>GEN</sub>](/cognicrypt/documentation/codegen) and [CogniCry
 
 ## Syntax of the Domain-Specific Language CrySL
 
-Rules in CogniCrypt are written in *CrySL*. *CrySL* is a domain-specific language for the specification of correct cryptography API uses in Java. The Eclipse plugin CogniCrypt ships with an XText editor that supports the *CrySL* syntax. *CrySL* generally encodes a white-list approach and specifies how to *correctly* use crypto APIs. We discuss some of the most important concepts of the rule language here, the [research paper](http://drops.dagstuhl.de/opus/volltexte/2018/9215/pdf/LIPIcs-ECOOP-2018-10.pdf) provides more detailed insights on the language. CogniCrypt ships with a default rule set for the [Java Cryptographic Architecture (JCA)](https://docs.oracle.com/en/java/javase/14/security/java-cryptography-architecture-jca-reference-guide.html). At the bottom of this page, you may find a description of this rule set. On top of this rule set, rule sets for [BouncyCastle](https://www.bouncycastle.org/documentation.html), both for its lightweight API as well as JCA provider, and [Google Tink](https://github.com/google/tink) are available for download from within the CogniCrypt preferences. Custom rules may also be added.
+Rules in CogniCrypt are written in *CrySL*. *CrySL* is a domain-specific language for the specification of correct cryptography API uses in Java. The Eclipse plugin CogniCrypt ships with an XText editor that supports the *CrySL* syntax. *CrySL* generally encodes a white-list approach and specifies how to *correctly* use crypto APIs. We discuss some of the most important concepts of the rule language here, the [research paper](http://drops.dagstuhl.de/opus/volltexte/2018/9215/pdf/LIPIcs-ECOOP-2018-10.pdf) provides more detailed insights on the language. CogniCrypt ships with a default rule set for the [Java Cryptographic Architecture (JCA)](https://docs.oracle.com/en/java/javase/14/security/java-cryptography-architecture-jca-reference-guide.html). At the bottom of this page, you find a description of this rule set. On top of this rule set, rule sets for [BouncyCastle](https://www.bouncycastle.org/documentation.html), both for its lightweight API as well as JCA provider, and [Google Tink](https://github.com/google/tink) are available for download from within the CogniCrypt preferences. Custom rules may also be added.
 
 Each *CrySL* rule is a specification of a single Java class. A short example of a *CrySL* rule for `javax.crypto.Cipher` is shown below.