JavaRedux: Integer methods + List::remove + NoSuchElementException#3719

FliegendeWurst wants to merge 3 commits intoKeYProject:mainKeYProject/key:mainfrom

FliegendeWurst:javaredux-additionsFliegendeWurst/key:javaredux-additionsCopy head branch name to clipboard