else if ( pattern.equals( "ANDNOT" ) ){
else if ( workingPattern.equals( "ANDNOT" ) ){
	private short determineSearchType( String pattern ) {		if ( pattern.charAt( 0 ) == '+' ){			/* strip first caracter: */			pattern = pattern.substring( 1 );						return AND;					}					else if ( pattern.charAt( 0 ) == '-' ){			/* strip first caracter: */			pattern = pattern.substring( 1 );			return ANDNOT;					}		else if ( pattern.equals( "OR" ) ){			/* set pattern to "null", take this as sign to use the following pattern */			pattern = null;			return OR;					}		else if ( pattern.equals( "AND" ) ){			/* set pattern to "null", take this as sign to use the following pattern */			pattern = null;			return AND;					}		else if ( pattern.equals( "ANDNOT" ) ){			/* set pattern to "null", take this as sign to use the following pattern */			pattern = null;			return ANDNOT;					}									else return AND;	}