*** misc/libxml/build.properties	Sun May 27 20:44:28 2007
--- misc/build/libxml/build.properties	Fri Jul 27 09:06:22 2007
***************
*** 18,25 ****
  
  #
  # Make sure that JDK 1.2 compatible class files are generated
  build.target=1.4
! build.source=1.2
  
  # You probably want to override this in your local build setup file
  build.retro.target=1.2
--- 18,25 ----
  
  #
  # Make sure that JDK 1.2 compatible class files are generated
  build.target=1.4
! build.source=1.3
  
  # You probably want to override this in your local build setup file
  build.retro.target=1.2