Am 2013-09-27 11:19, schrieb Hannes Wallnoefer: > > With this Source.getLine() is only gets used in placed that are not > performance sensitive. > Oops, I think I just broke the record in typos per line :)