Java programming specification