etc/config/gcc-explorer.defaults.properties

port=10240
compileTimeoutMs=200
compilers=/usr/bin/g++-4.4:/usr/bin/g++-4.5:/usr/bin/g++-4.6:/usr/bin/g++-4.7:/usr/bin/arm-linux-gnueabi-g++-4.5