Spacing issue for ghost variables

[samysweb]

Ghost JML code was missing a space.

Example:

public class Mult {
    public int mult (int x, int y){
    //@ ghost int oldx = x;
        return 1
    }
}

Was printed as:

public class Mult {
    public int mult (int x, int y){
    //@ ghostint oldx = x;
        return 1
    }
}