--- old/test/java/io/Serializable/corruptedUTFConsumption/CorruptedUTFConsumption.java	2015-04-21 18:51:37.174774580 -0700
+++ new/test/java/io/Serializable/corruptedUTFConsumption/CorruptedUTFConsumption.java	2015-04-21 18:51:36.998686575 -0700
@@ -28,6 +28,7 @@
  *          ObjectInputStream consumes at most the expected number of utf
  *          bytes, even if the last byte(s) of the utf string indicate that the
  *          string overflows its expected length.
+ * @key randomness
  */
 
 import java.io.*;