--- a/langtools/src/share/classes/com/sun/tools/javac/code/Types.java Tue Oct 09 19:10:00 2012 -0700
+++ b/langtools/src/share/classes/com/sun/tools/javac/code/Types.java Tue Oct 09 19:31:58 2012 -0700
@@ -1427,8 +1427,8 @@
* conservative in that it is allowed to say that two types are
* not disjoint, even though they actually are.
*
- * The type C<X> is castable to C<Y> exactly if X and Y are not
- * disjoint.
+ * The type {@code C<X>} is castable to {@code C<Y>} exactly if
+ * {@code X} and {@code Y} are not disjoint.
*/
public boolean disjointType(Type t, Type s) {
return disjointType.visit(t, s);
@@ -1523,7 +1523,7 @@
* something of type `t' can be a subtype of `s'? This is
* different from the question "is `t' not a subtype of `s'?"
* when type variables are involved: Integer is not a subtype of T
- * where <T extends Number> but it is not true that Integer cannot
+ * where {@code <T extends Number>} but it is not true that Integer cannot
* possibly be a subtype of T.
*/
public boolean notSoftSubtype(Type t, Type s) {