# <copyright> | |
# </copyright> | |
# | |
# $Id: plugin.properties,v 1.1 2011/04/29 12:27:25 vzurczak Exp $ | |
GRAPHICAL_MARKER_NAME = BPEL Graphical Markers | |
MODEL_UI_MARKER_NAME = BPEL Model Markers | |
TEXT_MARKER_NAME = BPEL Text Markers | |
CONTENT_TYPE_NAME = BPEL Process | |
BPEL_FILE_DECORATOR = BPEL File Decorator | |
BPEL_FILE_DECORATOR_DESCRIPTION = Marks problems in BPEL files (as long as the JDT is not installed). |