Fix (@matthaias): I just saw again this guide http://blog.mecheye.net/2012/02/requirements-and-tips-for-getting-your-gnome-shell-extension-approved/  and changed extension.js according to it. All initialization logic is part of enable and de-initialization is part of disabled.