// include by  <script language="JavaScript" src="form.js"></script>
//
document.write('<form name="selectDoc">');
document.write('<b>Documenation source:</b> ');
document.write('<select name="docSelection" onChange="updatePropertyDisplay(this)">');
document.write('   <option value="http://cs.fit.edu/man/java">Local J2SE 5.0 (cs.fit.edu)</option>');
document.write('   <option value="http://java.sun.com/javase/6/docs">Sun source (Java SE 6)</option>');
document.write('   <option value="http://java.sun.com/j2se/1.5.0/docs">Sun source (J2SE 5.0)</option>');
document.write('   <option value="http://java.sun.com/j2se/1.4.2/docs">Sun source (J2SE 1.4.2)</option>');
//document.write('   <option value="file:///software/solaris/compilers/java/jdk1.5.0/docs">Local file system J2SE 5.0</option>');
//document.write('   <option value="file:///software/solaris/compilers/java/j2sdk1.4.0/docs">Local file system J2SE 1.4</option>');
document.write('</select>');
document.write('<br><font size=-1><em>Links to documentation on this page will use this source</em></font> ');
document.write('</form>');
document.write('<script>');
document.write('   //  Initialize base to the default selection showing in form.');
document.write('   updatePropertyDisplay (document.selectDoc.docSelection)');
document.write('</script>');

// "file:/software/solaris/compilers/java/" blocked by security Manager.