[galaxy-dev] Possible Galaxy memory leak?