pluginName=OT/J Debug Integration
providerName=Eclipse.org - Object Teams

OtGeneratedCodeColorDescription.label=OT/J generated code
OtGeneratedCodeColorDescription.description=The color by which the debug view marks stack frames that do not correspond to source code\n(generated by compiler or runtime-environment) 
OtSpecialCodeColorDescription.label=OT/J special source code
OtSpecialCodeColorDescription.description=The color by which the debug view highlights special OT/J source code\n(method bindings, guard predicates etc.)

showOTInternalAction.label=Show &OT/J Internal Variables
showOTInternalAction.tooltip=Show internal variables which the OT/J compiler and weaver have generated.
VariablesViewJavaSubmenu.label=&Java