public function lazyRead()
{
$p = new \util\Properties('@@does-not-exist.ini@@');
// This cannot be done via @expect because it would also catch if an
// exception was thrown from util.Properties' constructor. We explicitely
// want the exception to be thrown later on
try {
$p->readString('section', 'key');
$this->fail('Expected exception not thrown', null, 'io.IOException');
} catch (\io\IOException $expected) {
\xp::gc();
}
}
