RE: [ajdt-dev] Java build path occurs twice in project properties

[Eric Bodden <eric@xxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Oh, I just saw that there's already a bug report open for that. Sorry
for the traffic.

Eric

>> I guess, AJDT is causing that. Could that be?
> Oh, that is interesting now: I saw that deactivating and activating
> the plugin made one of the views dissappear. So maybe it has to do
> with the plugin activation. Unfortunately the view that is still
> shown now is the "less featured" (older?) one.   

- -- 
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA+AwUBQWMcj8wiFCm7RlWCEQICGgCffZv6MWLCfKDmDrAdDzV+TCCJcxEAl04Q
yM1YkJ+d/q5GWdTrhD+7vfg=
=sMnC
-----END PGP SIGNATURE-----