probando ObjectWeb/example/miniapp.py