Support for InputStream#1

sefanja wants to merge 2 commits intoksluckow:masterksluckow/juppaal:masterfrom

sefanja:feature/inputstreamsefanja/juppaal:feature/inputstreamCopy head branch name to clipboard