Merge "ART: Remove 712 from knownfailures.txt" am: 7867514373
am: 5618abcc9b

Change-Id: Id46ef8aa22c5b5020a8fcb2d569b74e790d86e8b