Merge remote-tracking branch 'origin/plugin' into plugin

# Conflicts:
#	src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
#	src/test/resources/bytecode/javFiles/MatrixOP.jav
This commit is contained in:
Michael Uhl 2019-04-05 13:02:17 +02:00
commit 8c80a11675

Diff Content Not Available