Greenfoot 2.0 has just been released and includes full support for unbounded worlds, including off-screen collision checking. As well as a bunch of other cool features! To create an unbounded world, add an additional "false" argument when you call the World class constructor, eg "super(500,500,1,false);".