Latest version of de.tu-darmstadt.stg:rdts_native0.5_3
https://javadoc.io/doc/de.tu-darmstadt.stg/rdts_native0.5_3
Current version 0.36.0
https://javadoc.io/doc/de.tu-darmstadt.stg/rdts_native0.5_3/0.36.0
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/de.tu-darmstadt.stg/rdts_native0.5_3/0.36.0/package-list