public int versionPointNumber(){
  return Integer.valueOf(properties.getProperty("version.point"));
}

public int versionPointNumber ( ) { return Integer . valueOf ( properties . getProperty ( "version.point" ) ) ; }
returns the point version number for the directory server .
