ILIAS
ILIAS copied to clipboard
Fix setGapSize always requiring int
setGapSize accepts everything, getGapSize wants to give an int back. I went with the full typing solution.