A business rule extraction tool for Java applications