When the overview tree is built, the MIF is built with the fully qualified
name as the string for the subscript page number cross-reference.

This is corrected by FrameMaker to be the page number when fmbatch is run,
but if someone just opens the MIF file, they see this string, which 
looks like:

   com.package1.AbstractClasscom.package1.AbstractClass
                             ^^^^^^^^^^^^^^^^^^^^^^^^^^

It would be preferable to insert a placeholder such as "0" to indicate
the page number is displayed and will be updated.

  <ParaLine
   <Char Tab>
   <String `com.package1.'>
   <Font
    <FTag `LinkBold'>
   > # end of Font
   <Marker
    <MType 8>
    <MText `gotolink ../fm/com.package1.fm:com.package1.AbstractClass'>
   > # end of Marker
   <String `AbstractClass'>
   <XRef
    <XRefName `No Subscript Page'>
    <XRefSrcText `ClassHead: com.package1.AbstractClass'>
    <XRefSrcFile `<u\>..<c\>fm<c\>com.package1.fm'>
   > # end of XRef
   <Font
    <FTag `Link'>
   > # end of Font
   <String `com.package1.AbstractClass'>
            ^^^^^^^^^^^^^^^^^^^^^^^^^^
   <XRefEnd>
   <Font
    <FTag `'>
   > # end of Font
   <Char HardReturn>
  > # end of ParaLine

======================================================================

======================================================================

Simple to do.
  xxxxx@xxxxx   2002-03-28

Fixed as follows:

XRef.java

% diff XRef.java XRef.java.~1.7~ 
<         // Hack workaround until this method handles only page numbers
<         // (This is only place in this file that calls mif package)
<         // If the format is for a page number, that means the text is
<         // a page number, and "String" should be initialized to 0.  
<         // Otherwise, initialize "String" to the label
<         if ( name.equals(com.sun.tools.doclets.mif.MIFObject.getStyle("PageNumberXRef")) ) {
<             Font.find(com.sun.tools.doclets.mif.MIFObject.getStyle("Italic")).write(out);
<             Font.find(com.sun.tools.doclets.mif.MIFObject.getStyle("Subscript")).write(out);
<             out.writeString("String", "0");
<         } else {
<             font.write(out);
<             out.writeString("String", label);
<         }
---
>         font.write(out);
>         out.writeString("String", label);
                                                                                
  xxxxx@xxxxx   2002-04-23