Question:
Is there a better way than killing Java in Solution 2 (see below)?
Yes, use the eclipse plugin in svn head (tools/eclipse)
Ross
Question:
Is there a better way than killing Java in Solution 2 (see below)?
Yes, use the eclipse plugin in svn head (tools/eclipse)