
# <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).