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.37.0+395-e9abd95f
https://javadoc.io/doc/de.tu-darmstadt.stg/rdts_native0.5_3/0.37.0+395-e9abd95f
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/de.tu-darmstadt.stg/rdts_native0.5_3/0.37.0+395-e9abd95f/package-list