I'm getting the impression Eclipse is not a very popular development environment. A newer Eclipse package was uploaded weeks ago, but I can't tell if it corrects this bug because it's dependent on other packages that were not uploaded - eclipse-jdt (>= 3.5.2-10ubuntu2) , eclipse-pde (>= 3.5.2-10ubuntu2).
Is there a PPA people generally use for Eclipse instead, or is there just a better dev environment I'm not aware of?
I'm getting the impression Eclipse is not a very popular development environment. A newer Eclipse package was uploaded weeks ago, but I can't tell if it corrects this bug because it's dependent on other packages that were not uploaded - eclipse-jdt (>= 3.5.2-10ubuntu2) , eclipse-pde (>= 3.5.2-10ubuntu2).
Is there a PPA people generally use for Eclipse instead, or is there just a better dev environment I'm not aware of?