Updated JCrypTool code formatter