*** build.xml.orig	Sun Mar 11 03:07:00 2001
--- build.xml	Mon Aug 27 10:10:04 2001
***************
*** 44,49 ****
--- 44,50 ----
  
    <!--
      This generates Driver.java from Driver.java.in
+     and PG_Stream.java from PG_Stream.java.in
      It's required for importing the driver version properties
    -->
    <target name="driver" depends="prepare,check_versions">
***************
*** 63,68 ****
--- 64,79 ----
      <available property="jdk13only" value="" classname="java.lang.StrictMath" />
      <filter token="JDK1.3ONLY" value="${jdk13only}" />
  
+     <!-- comment out java2 stuff -->
+     <property name="java2only" value="//" />
+     <available property="java2only" value="" classname="java.security.AccessController" />
+     <filter token="JAVA2ONLY" value="${java2only}" />
+ 
+     <property name="java1only" value="" />
+     <available property="java1only" value="//" classname="java.security.AccessController" />
+     <filter token="JAVA1ONLY" value="${java1only}" />
+ 
+ 
      <!-- Some defaults -->
      <filter token="MAJORVERSION" value="${major}" />
      <filter token="MINORVERSION" value="${minor}" />
***************
*** 72,82 ****
  
      <!-- Put a check for the current version here -->
  
!     <!-- now copy and filter the file -->
      <copy file="${package}/Driver.java.in"
            tofile="${package}/Driver.java"
            filtering="yes" />
  
      <echo message="Configured build for the ${edition} edition driver." />
  
    </target>
--- 83,97 ----
  
      <!-- Put a check for the current version here -->
  
!     <!-- now copy and filter the files -->
      <copy file="${package}/Driver.java.in"
            tofile="${package}/Driver.java"
            filtering="yes" />
  
+     <copy file="${package}/PG_Stream.java.in"
+           tofile="${package}/PG_Stream.java"
+           filtering="yes" />
+ 
      <echo message="Configured build for the ${edition} edition driver." />
  
    </target>
***************
*** 86,91 ****
--- 101,107 ----
      <delete dir="${dest}" />
      <delete dir="${jars}" />
      <delete file="${package}/Driver.java" />
+     <delete file="${package}/PG_Stream.java" />
    </target>
  
    <!-- Prepares the build directory -->