28 # other tools, and product versions of all the tools.

    28 # other tools, and product versions of all the tools.

    29 # Override this path as needed, either on the command line or in 

    29 # Override this path as needed, either on the command line or in 

    30 # one of the standard user build.properties files (see build.xml)

    30 # one of the standard user build.properties files (see build.xml)

    31 

    31 

    32 # options for the <javac> tasks used to compile the tools

    32 # options for the <javac> tasks used to compile the tools

    33 javac.target = 5

    34 javac.target = 5

    34 javac.debug = true

    35 javac.debug = true

    35 javac.no.jdk.warnings = -XDignore.symbol.file=true

    36 javac.no.jdk.warnings = -XDignore.symbol.file=true

    36 # set the following to -version to verify the versions of javac being used

    37 # set the following to -version to verify the versions of javac being used

    37 javac.version.opt = 

    38 javac.version.opt =