Strongly typed HTML generation library in Java