--- a/hotspot/src/share/vm/adlc/filebuff.hpp	Mon Dec 08 17:15:02 2008 -0800
+++ b/hotspot/src/share/vm/adlc/filebuff.hpp	Tue Dec 09 12:41:26 2008 -0800
@@ -68,6 +68,7 @@
   // and increments bufeol and filepos to point at the end of that line.
   char *get_line(void);
   int linenum() const { return _linenum; }
+  void set_linenum(int line) { _linenum = line; }
 
   // This converts a pointer into the buffer to a file offset.  It only works
   // when the pointer is valid (i.e. just obtained from getline()).