aranea - Revision 2257: /trunk/tools/profiling/net.comerge.aranea.core.profiling/.settings
..
org.eclipse.jdt.core.prefs