Design and implement a Java program using the latest version of the Java Cryptography Architecture (JCA) to encrypt a file of arbitrary length with its digest appended. You may assume that your input file is at most 1MB in size, so you can simply read the file content into an array and feed it into the encryption function. Use AES-128 as your encryption algorithm and a message authentication procedure of your choice. Also implement the appropriate decryption and message digest verification progr