use the java7 | operator for exceptions