Ok quel metodo l'avevo visto... setDebugOut richiede un PrintStream. Come faccio a scrivere il debug su file???