HRCPP-178 server_ctl.py fails to detect 32bit JVM

https://issues.jboss.org/browse/HRCPP-178