fix filename ant.properties

Peter Hormanns

2015-11-25 93a10c794bfeb28c7fa7a8ec0fabcaeee303b1d2

fix filename ant.properties

 authenticator/build.xml

@@ -2,7 +2,7 @@

<project name="authenticator" default="default" basedir=".">
    
    <property file="${user.home}/.ant.hsar.properties" />
    <property file="${user.home}/.hsar.ant.properties" />
    <property name="lib.home" value="${basedir}/lib" />
    <property name="src.home" value="${basedir}/src" />
    <property name="war.home" value="${basedir}/webapp" />