4.0.0 de.jplag aggregator ${revision} java de.jplag frontend-utils