PIC18F87J50 - Setting pin as digital I/O

In order to set a desired pin of a PIC18F87J50 as digital, you have to do the following:

ADSHR_bit =1;
ANCON0.B0 =1;
ADSHR_bit =0;
TRISA0_bit = 0;