Update analysis-java.md

I started writing review comments to suggest simplifications to the text/tense, but thought that this might be clearer. 

Feel free to close and simplify using alternative wording.

Author: Felicity Chapman

change-notes/1.20/analysis-java.md

@@ -18,14 +18,13 @@
 ## Changes to QL libraries
 
 * The class `ControlFlowNode` (and by extension `BasicBlock`) is no longer
-  directly equatable to `Expr` and `Stmt`. Any queries that have been
-  exploiting these equalities, for example by using casts, will need minor
-  updates in order to fix any compilation errors. Conversions can be inserted
-  in either direction depending on what is most convenient. Available
-  conversions include `Expr.getControlFlowNode()`, `Stmt.getControlFlowNode()`,
-  `ControlFlowNode.asExpr()`, `ControlFlowNode.asStmt()`, and
-  `ControlFlowNode.asCall()`. Exit nodes were until now modelled as a
-  `ControlFlowNode` equal to its enclosing `Callable`; these are now instead
-  modelled by the class `ControlFlow::ExitNode`.
-
+  directly equatable to `Expr` and `Stmt`. Any queries that exploit these 
+  equalities, for example by using casts, will now report compilation errors. 
+  You can fix these errors by making minor changes to the affected classes.
+  The conversion can be inserted in either direction depending on what is most 
+  convenient. Available conversions include `Expr.getControlFlowNode()`, 
+  `Stmt.getControlFlowNode()`, `ControlFlowNode.asExpr()`, 
+  `ControlFlowNode.asStmt()`, and `ControlFlowNode.asCall()`. 
+  Exit nodes were until now modeled as a `ControlFlowNode` equal to its 
+  enclosing `Callable`; these are now modeled by the class `ControlFlow::ExitNode`.