Refresh the added statement before checking its insert.
The GUI chapter and some captures
Fix: The "cmsr" command from the GUI didn't work properly because the
iteration across the "missingForSignedProofRequest" didn't take account
of the statements already added to the request.
AES key length reduced to 128 bits because of the default restriction in
the official oracle's JRE. Wouldn't be necessary when working with the
OpenJDK
Programatically removing thye cryptography restrictions of the Oracle's
JRE. 
We'll need to use this code if we want to use AES key lengths > 128
bits.
Cipher protocols: we must handle differently the cases when we cannot
use the needed crypto algorithm (e.g. wrong key length) and when the key
happens to just not being the correct one.
The "CleanUp" algorithm of the Eclipse Luna removes some extra blank
spaces to the comments. 
So now every source code file with the copyright header is modified. \o/