| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <!-- |
| Copyright (c) 2016 Chalmers | University of Gothenburg, rt-labs and others. |
| All rights reserved. This program and the accompanying materials |
| are made available under the terms of the Eclipse Public License v1.0 |
| which accompanies this distribution, and is available at |
| http://www.eclipse.org/legal/epl-v10.html |
| |
| Contributors: |
| Chalmers | University of Gothenburg and rt-labs - initial API and implementation and/or initial documentation |
| --> |
| |
| <plugin> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer |
| class="org.eclipse.capra.ui.jdt.preferences.JDTPreferenceInitializer"> |
| </initializer> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.capra.ui.preferences.CapraPreferences" |
| class="org.eclipse.capra.ui.jdt.preferences.JDTPreferencePage" |
| id="org.eclipse.capra.ui.jdt.preferencePage" |
| name="Java trace"> |
| </page> |
| </extension> |
| |
| </plugin> |