/u/j/jgross/.rvm/
RVM PATH line found in /afs/csail.mit.edu/u/j/jgross/.bashrc /afs/csail.mit.eduRVM sourcing line found in /afs/csail.mit.edu/u/j/jgros
kodkod.engine.fol2sat.Translator.evaluate(Translator.java:104) at edu.mit.csail.sdg.alloy4compiler.translator.A4Solution.rename(A4Solution.java:844)
at edu.mit.csail.sdg.alloy4compiler.translator.