JWASP: A new Java-based ASP solver