added ConfigNotSetException, PHP 5.3 compatibility