In Eclipse the source currently throws an error within the WorkflowEngine.java:
This is due to WorkflowEngine.java not implementing proper overrides to the inherrited java class. Though this isn't a huge concern and will compile just fine, we should still simply override this as already assumed. I included a simple patch that should fix the issue. Please validate and close when appropriate.