remove Ch4 trinket (writing documentation)

Author: ChrisMayfield

thinkjava.tex

@@ -3311,7 +3311,7 @@ \section{Writing documentation}
 
 Here's a class definition with two Javadoc comments, one for the class and one for the \java{main} method:
 
-\begin{trinket}{Goodbye.java}
+\begin{code}
 /**
  * Example program that demonstrates print vs println.
  */
@@ -3325,7 +3325,7 @@ \section{Writing documentation}
         System.out.println("cruel world");
     }
 }
-\end{trinket}
+\end{code}
 
 The class comment explains the purpose of the class.
 The method comment explains what the method does.