Move java_bytecode explanations to module doc

Author: John Nonweiler

doc/architectural/code-walkthrough.md

@@ -44,19 +44,6 @@ See \ref cpp.
 
 See \ref java_bytecode.
 
-\subsubsection java-class-section Explain how a java program / class is represented in a .class
-
-To be documented.
-
-\subsubsection java-bytecode-conversion-section Explain the 2 step conversion from bytecode to codet
-
-To be documented.
-
-\subsubsection java-bytecode-conversion-example-section A worked example of converting java bytecode to codet
-
-To be documented.
-
-
 \section bmct-class-section Bmct class
 
 \subsection equation-section equation

jbmc/src/java_bytecode/README.md

@@ -3,4 +3,16 @@
 
 # Folder java_bytecode
 
-This module providesy a front end for Java.
+This module provides a front end for Java.
+
+\section java-class-section How a java program / class is represented in a .class
+
+To be documented.
+
+\section java-bytecode-conversion-section The 2 step conversion from bytecode to codet
+
+To be documented.
+
+\section java-bytecode-conversion-example-section A worked example of converting java bytecode to codet
+
+To be documented.