Example for Javafant