A tool for detecting portability issues in BPEL code