AVG Antivirus is reporting that xmaxima.exe is infected with a trojan horse. SHeur4.HKI
This could be a false positive but it might be also possible, that it is not a false positive.
See here the virus scan test result on jotti.org for more information to xmaxima.exe
xmaxima.exe from maxima 5.25.1
and xmaxima.exe from maxima 5.25.0
I tried xmaxima.exe from the maxima-5.25.0.exe and maxima-5.25.1.exe installation packages for Windows.
I also want to mention, that clicking on FAQ on http://maxima.sourceforge.net/ leads to a russian page not related to maxima
showing the message that http://maxima-project.org/ domain registration is suspended.