Bug 24212 [Tasks view] Support read-only tasks in Task list
JDT has now support for generating tasks from source, e.g. //TODO will add a task and show it in the task list. Such tasks can only be edited and changed in the source code. For this reason we would like to have support in the task list for such non-modifiable tasks. For example, we could add a marker attribute "read-only" and if this attribute is set then menu actions to delete or change the task will be disabled.
bundles/org.eclipse.ui.views/src/org/eclipse/ui/views/tasklist/MarkerUtil.java
*/
public static String getLocation(IMarker marker) {
	return marker.getAttribute(IMarker.LOCATION, "");
}
/**
 * Returns the message attribute of the given marker,
 * or the empty string if the message attribute is not defined.
 */
public static String getMessage(IMarker marker) {
	return marker.getAttribute(IMarker.MESSAGE, "");
}
/**
 * Returns the numeric value of the given string, which is assumed to represent a numeric value.
 *
 * @return <code>true</code> if numeric, <code>false</code> if not
 */
static public int getNumericValue(String value) {
	boolean negative = false;
	int i = 0;
	int len = value.length();
	
	
	
	if (i < len && value.charAt(i) == '#') 
		++i;
	if (i < len && value.charAt(i) == '-') {
		negative = true;
		++i;
	}