1*946379e7Schristos<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN""http://www.w3.org/TR/REC-html40/frameset.dtd"> 2*946379e7Schristos<!--NewPage--> 3*946379e7Schristos<HTML> 4*946379e7Schristos<HEAD> 5*946379e7Schristos<!-- Generated by javadoc on Sat Nov 03 18:12:05 CET 2001 --> 6*946379e7Schristos<TITLE> 7*946379e7Schristos 8*946379e7Schristos</TITLE> 9*946379e7Schristos<LINK REL ="stylesheet" TYPE="text/css" HREF="stylesheet.css" TITLE="Style"> 10*946379e7Schristos</HEAD> 11*946379e7Schristos<BODY BGCOLOR="white"> 12*946379e7Schristos 13*946379e7Schristos<BR> 14*946379e7Schristos 15*946379e7Schristos<BR> 16*946379e7Schristos 17*946379e7Schristos<BR> 18*946379e7Schristos<CENTER> 19*946379e7SchristosThe front page has been relocated.Please see: 20*946379e7Schristos<BR> 21*946379e7Schristos <A HREF="index.html">Frame version</A> 22*946379e7Schristos<BR> 23*946379e7Schristos <A HREF="gnu/gettext/GettextResource.html">Non-frame version.</A></CENTER> 24*946379e7Schristos 25*946379e7Schristos</BODY> 26*946379e7Schristos</HTML> 27